summaryrefslogtreecommitdiff
path: root/tests/coq/_CoqProject.template (unfollow)
Commit message (Collapse)AuthorFilesLines
2022-11-16Add a nix derivation for the Coq proofsSon Ho1-0/+3