summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Arith
diff options
context:
space:
mode:
authorAymeric Fromherz2024-05-27 17:56:10 +0200
committerAymeric Fromherz2024-05-27 17:56:10 +0200
commit3c1e6d37a2b40b880b04b2d2aac95d6f06822327 (patch)
tree1ed18e16f5dbfcf598c0e101ee7c36f865d84255 /backends/lean/Base/Arith
parent309435d24edb689736da83025eb08a6761b28b8b (diff)
Simplify reduce_ctx
Diffstat (limited to 'backends/lean/Base/Arith')
0 files changed, 0 insertions, 0 deletions