summaryrefslogtreecommitdiff
path: root/tests/lean/misc-paper/Base
diff options
context:
space:
mode:
authorSon Ho2023-05-18 17:39:32 +0200
committerSon HO2023-06-04 21:54:38 +0200
commit91419d64c7dec5d138affdbc93488049c9b1628d (patch)
tree3b569da2e7abc4cb6fac6d1ff026071a1638d5c1 /tests/lean/misc-paper/Base
parent8500a6ad00b21287850faa12d81a59fa46ca0848 (diff)
Start working on saveThmsLib
Diffstat (limited to 'tests/lean/misc-paper/Base')
0 files changed, 0 insertions, 0 deletions