Skip to content

CoqEAL release 2.0.2
Compare
Choose a tag to compare
@proux01 proux01 released this 05 Feb 09:32
· 16 commits to master since this release
2.0.2
fb2ecaf
This commit was created on github.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

Compatible with Coq 8.16 to 8.19, mathcomp 2.0.0 to 2.2.0, multinomials 2.2.0 and mathcomp-real-closed 2.0.0.
This is just removing a few spurious universe constraints from previous release 2.0.1.

Assets 2
Loading