summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Arith
diff options
context:
space:
mode:
authorNadrieril2024-05-06 15:42:48 +0200
committerNadrieril2024-05-06 15:50:27 +0200
commit87da55498b0ba19c74854f3e8218fab857c624e3 (patch)
tree2101e01f490e9f9821d7b0105bab2568a4d572c9 /backends/lean/Base/Arith
parenta935064196f7fcc65355726a523508f4317d16ee (diff)
Update charon
Diffstat (limited to 'backends/lean/Base/Arith')
0 files changed, 0 insertions, 0 deletions