diff options
| author | Son Ho | 2023-11-16 10:52:28 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-16 10:52:28 +0100 |
| commit | 9ab6a034aaadacac62d241474af3cf28bf6ac928 (patch) | |
| tree | c1c68a3d812fd9d8db27ed92a152239439b8e88c /backends/lean/Base/Arith/Int.lean | |
| parent | 4972f21e4b25cc16e0839dc3d4a4a2d0552f872d (diff) | |
Update SymbolicToPure.eliminate_box_functions
Diffstat (limited to 'backends/lean/Base/Arith/Int.lean')
0 files changed, 0 insertions, 0 deletions