summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Arith.lean
diff options
context:
space:
mode:
authorSon Ho2024-04-12 16:47:40 +0200
committerSon Ho2024-04-12 16:47:40 +0200
commit0a258c03bc49b4d3d89b3ce0f73b1c57e38f4eeb (patch)
tree19541337b81ba7d6901949dc6d2e932fe6395d64 /backends/lean/Base/Arith.lean
parent03a175b423c9ccff2160300c4d349978f9b1aeb9 (diff)
Start adding integer functions to the Lean library
Diffstat (limited to 'backends/lean/Base/Arith.lean')
0 files changed, 0 insertions, 0 deletions