summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Arith
diff options
context:
space:
mode:
authorSon Ho2023-11-07 10:44:58 +0100
committerSon Ho2023-11-07 10:44:58 +0100
commita745e81c9949f24878f788fffd36667739c59330 (patch)
tree92ef105feb065deff71c72204ea18b3624b377e0 /backends/lean/Base/Arith
parented788eec1d8be1656c0ad7dab25975ad3f5497c2 (diff)
Update the extraction
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions