Skip to content

Apery release 1.0.1
Compare
Choose a tag to compare
@palmskog palmskog released this 03 Feb 12:38
· 45 commits to master since this release
1.0.1
7df8fb4
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.

Release after move to Coq-community, tested with Coq 8.11 to 8.15, MathComp 1.12.0 to 1.14.0, CoqEAL 1.0.6, MathComp real closed field 1.1.2, and MathComp bigenough 1.0.1.

Assets 2
Loading