·
0 commits
to coq-8.16
since this release
4fd64fc
This commit was signed with the committer’s verified signature.
JoJoDeveloping
Johannes Hostert
This release updates the library to Coq 8.18. It includes the Tennenbaum development, and re-licenses the library to MIT.
This version is the first with a version number, namely 1.0.