summaryrefslogtreecommitdiff
path: root/backends/lean/Base
diff options
context:
space:
mode:
authorSon Ho2023-08-03 00:24:02 +0200
committerSon Ho2023-08-03 00:24:02 +0200
commitc6f0a8c8bfe04e83de4692a389daf8cde47b74d5 (patch)
treee42a806ad5a987017c9880599a4dc4eb3d24d0e1 /backends/lean/Base
parent10822d76c7b45b9566f8e2b458107ac8b0eac60e (diff)
Fix issues
Diffstat (limited to 'backends/lean/Base')
0 files changed, 0 insertions, 0 deletions