summaryrefslogtreecommitdiff
path: root/tests/coq/misc
diff options
context:
space:
mode:
authorSon HO2024-02-01 09:57:18 +0100
committerGitHub2024-02-01 09:57:18 +0100
commit0960ad16838a43da3746f47cf5b640bfbb783d84 (patch)
tree8797cb7d6787ad9b03ed0c5266e0486a56747308 /tests/coq/misc
parent689954a5c84c29c9b86f02e5009f286d909c355c (diff)
parent4f619ca103e91d31ef18535e1d7a8e1f157206c3 (diff)
Merge pull request #67 from zhassan-aws/lean-steps
Add instructions on using files generated by the Lean backend
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions