Skip to content

Gaia release for MathComp 1.13.0
Compare
Choose a tag to compare
@CohenCyril CohenCyril released this 28 Oct 23:43
· 40 commits to master since this release
v1.13
9dbfd04
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.

This is a maintenance release, known to work with Coq 8.10 to 8.14 and MathComp 1.12.0 and 1.13.0. It contains no admitted proofs.

Assets 2
Loading