summaryrefslogtreecommitdiff
path: root/tests/coq/_CoqProject.template (follow)
Commit message (Expand)AuthorAgeFilesLines
* Add a nix derivation for the Coq proofsSon Ho2022-11-161-0/+3