summaryrefslogtreecommitdiff
path: root/tests/coq/misc/Paper.v (unfollow)
Commit message (Expand)AuthorFilesLines
2022-11-16Improve formattingSon Ho1-33/+36
2022-11-14Regenerate the files and fix the proofsSon Ho1-7/+7
2022-11-14Improve the formatting of [if then else] expressionsSon Ho1-13/+11
2022-11-14Improve the formatting of the generated codeSon Ho1-3/+7
2022-11-14Make good progress on the Coq backendSon Ho1-0/+114