diff options
| author | Son Ho | 2024-04-12 08:48:13 +0200 |
|---|---|---|
| committer | Son Ho | 2024-04-12 08:48:13 +0200 |
| commit | 502f25a653a0afe7787b92a3004374e7670ea69b (patch) | |
| tree | c85831d9d4bae5116cda6261befafdc229303205 /backends/lean/Base/Arith.lean | |
| parent | 604b450a1a6d9aa364b5acbad460ec3d4d7822e4 (diff) | |
Update the bindings for the extraction
Diffstat (limited to 'backends/lean/Base/Arith.lean')
0 files changed, 0 insertions, 0 deletions