summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Arith
diff options
context:
space:
mode:
authorSon Ho2023-07-26 11:41:32 +0200
committerSon Ho2023-07-26 11:41:32 +0200
commit032db82439d9b379b5435d8349c1ecf55eeb2875 (patch)
tree59b16f45f71ef394c56a6b6f9bad9c48212e5bac /backends/lean/Base/Arith
parent9e8fccbe4b667fc341b6544030f85af05fe89307 (diff)
Fix a proof for the hashmap
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions