summaryrefslogtreecommitdiff
path: root/tests/coq/misc/External_Opaque.v (unfollow)
Commit message (Expand)AuthorFilesLines
2023-10-27Regenerate the Coq test filesSon Ho1-4/+4
2023-08-04Update the Makefile and regenerate the test filesSon Ho1-0/+2
2023-07-06Improve the generated commentsSon Ho1-5/+5
2023-07-05Start using namespaces in the Lean backendSon Ho1-1/+1
2022-11-16Change the name of the generated Coq modulesSon Ho1-4/+4
2022-11-16Improve formattingSon Ho1-12/+12
2022-11-14Make good progress on the Coq backendSon Ho1-0/+36