Skip to content

CoqEAL release 2.0.2

Latest
Compare
Choose a tag to compare
@proux01 proux01 released this 05 Feb 09:32
· 14 commits to master since this release
fb2ecaf

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.