summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Arith
diff options
context:
space:
mode:
authorSon Ho2024-03-19 05:29:29 +0100
committerSon Ho2024-03-19 05:29:29 +0100
commitf3e16bb43a8ff27a5184d9fa452277cc6a59410f (patch)
treef79760b40b3a9f404b1db0d61f9d452408ef1de5 /backends/lean/Base/Arith
parent5a1373f5492f65ff0da6f7e0c34b056a98070908 (diff)
Regenerate the tests
Diffstat (limited to 'backends/lean/Base/Arith')
0 files changed, 0 insertions, 0 deletions