summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Arith
diff options
context:
space:
mode:
authorNadrieril2024-05-23 09:58:36 +0200
committerGuillaume Boisseau2024-05-24 14:24:38 +0200
commit9e834db4174a900845199ccb189b575a20f11eda (patch)
treea8ccbbad52a3e1c75ac3c338824b430b82f67179 /backends/lean/Base/Arith
parenta9471e615e03d6fa0bc1594176fe504c9a3c88ae (diff)
Cleanup test runner
Diffstat (limited to 'backends/lean/Base/Arith')
0 files changed, 0 insertions, 0 deletions