diff options
| author | Son Ho | 2023-07-20 11:22:18 +0200 |
|---|---|---|
| committer | Son Ho | 2023-07-20 11:22:18 +0200 |
| commit | 975b7c555cbffef2648a6469b777d1f1760d926d (patch) | |
| tree | 147695467dd2bf4d92cf3c84556b15e741fb41be /backends/lean/Base/Arith/Scalar.lean | |
| parent | 821b09b14794ebc2fe7b7047fc60fd56fb2cd107 (diff) | |
Improve progress further
Diffstat (limited to 'backends/lean/Base/Arith/Scalar.lean')
0 files changed, 0 insertions, 0 deletions