summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Arith
diff options
context:
space:
mode:
authorSon Ho2023-08-04 22:59:21 +0200
committerSon Ho2023-08-04 22:59:21 +0200
commita106d3170eb784d23cd3614a21ef8f1bbb3be2f4 (patch)
tree8f87659d99bfc687e2cb86c18e049b79051fbfd6 /backends/lean/Base/Arith
parentcb603d47be46a6957ec16b9bc68176694542e99a (diff)
Fix a heart beat issue in a Lean proof
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions