Skip to content

CoqEAL release 2.1.0

Latest
Latest
Compare
Choose a tag to compare
@proux01 proux01 released this 18 Feb 15:51
· 2 commits to master since this release
2.1.0
dd94f77
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Compatible with Coq 8.20 to 9.0, mathcomp 2.3.0, multinomials 2.3.0 and mathcomp-real-closed 2.0.2.
Replaces paramcoq dependency by coq-elpi.

Assets 2
Loading