v1.0+8.17 for Coq 8.17
·
0 commits
to coq-8.16
since this release
02b690e
This commit was signed with the committer’s verified signature.
JoJoDeveloping
Johannes Hostert
This release backports the v1.0+8.18 release to Coq 8.17.