summaryrefslogtreecommitdiff
path: root/tests/coq/misc/Constants.v (unfollow)
Commit message (Expand)AuthorFilesLines
2023-06-04Make sure let-bindings in Lean end with line breaks and improve formattingSon Ho1-4/+8
2023-02-03Regenerate the filesSon Ho1-21/+11
2022-11-16Generate record field projectors for CoqSon Ho1-3/+1
2022-11-16Improve formattingSon Ho1-59/+65
2022-11-14Make good progress on the Coq backendSon Ho1-0/+138