diff options
| author | Son Ho | 2023-09-18 13:06:49 +0200 |
|---|---|---|
| committer | Son Ho | 2023-09-18 13:06:49 +0200 |
| commit | ba215d5f7f2cd087e6b920e7ea1793e4b114a775 (patch) | |
| tree | d11fa6b97d0642ca380147b5b954885c3c6ab416 /compiler/ExtractBase.ml | |
| parent | 1986e028839a771271979e6fc30fe4152fe66e45 (diff) | |
Add arithmetic lemmas in Scalar.lean
Diffstat (limited to 'compiler/ExtractBase.ml')
0 files changed, 0 insertions, 0 deletions