Version 1.0 for Coq 8.20
·
11 commits
to coq-8.20
since this release
b967df4
This commit was signed with the committer’s verified signature.
JoJoDeveloping
Johannes Hostert
This release updates to 8.20. The changes are minor, mostly fixing warnings and future-proofing code for the inevitable update to Rocq 9.0.