summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorSon Ho2023-06-29 11:22:32 +0200
committerSon Ho2023-06-29 11:22:32 +0200
commita6de153f3bfda7feb27d16fcdf2131d37f99c7a3 (patch)
tree016ba097f111de2116a043046785f1c0293873e7 /tests
parent19bde89b84619defc2a822c3bf96bdca9c97eee7 (diff)
Start working on Elab.lean
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions