summaryrefslogtreecommitdiff
path: root/tests/coq
diff options
context:
space:
mode:
authorSon Ho2023-07-03 16:24:44 +0200
committerSon Ho2023-07-03 16:24:44 +0200
commit37e5d5501e024869037bf0ea1559229a8be62da7 (patch)
treef7f48b6cddd0a2c03a07a24b43bad0df675c2d54 /tests/coq
parent1c9331ce92b68b9a83c601212149a6c24591708f (diff)
Generate the proofs of validity in Elab.lean
Diffstat (limited to 'tests/coq')
0 files changed, 0 insertions, 0 deletions