summaryrefslogtreecommitdiff
path: root/tests/coq/betree/_CoqProject
diff options
context:
space:
mode:
authorSon Ho2023-03-07 13:46:55 +0100
committerSon HO2023-06-04 21:44:33 +0200
commit051e2a19f3268d272a0acd0425d2107ebea020c5 (patch)
tree2ad36d00054ac891e48cb35c4dc1940433c5e707 /tests/coq/betree/_CoqProject
parent463cbb90c93ac2e825048d685c254431b99c4d96 (diff)
Reorganize the Lean tests and extract the Polonius tests to Lean
Diffstat (limited to 'tests/coq/betree/_CoqProject')
0 files changed, 0 insertions, 0 deletions