summaryrefslogtreecommitdiff
path: root/tests/coq/betree/_CoqProject (unfollow)
Commit message (Expand)AuthorFilesLines
2023-06-04Make sure let-bindings in Lean end with line breaks and improve formattingSon Ho1-1/+1
2022-11-16Automatically generate the Makefile and _CoqProject files in the tests subdir...Son Ho1-2/+2
2022-11-16Generate record field projectors for CoqSon Ho1-3/+3
2022-11-14Extract the Polonius examples in CoqSon Ho1-0/+9