Skip to content

CoqEAL release 1.1.2
Compare
Choose a tag to compare
@proux01 proux01 released this 13 Mar 10:36
· 45 commits to master since this release
1.1.2
e3806b2
This commit was created on github.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Compatible with Coq 8.15 to 8.17 and mathcomp 1.13.0 to 1.16.0

All #[global] typeclass instances have been made #[export] so you may have to add a few missing module Import.

Assets 2
Loading