Skip to content

Releases: coq-community/apery

Apery release 1.0.2

05 May 07:43
@palmskog palmskog
1.0.2
aa7d914
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.
Compare
Choose a tag to compare
Apery release 1.0.2 Latest
Latest

Release tested with Coq 8.13 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, MathComp Zify 1.2.0, and MathComp Algebra Tactics 1.0.0. The main change since 1.0.1 is replacement of wrappers for the lia and field tactics with MathComp Zify and Algebra Tactics (#4, by Kazuhiko Sakaguchi).

Assets 2
Loading

Apery release 1.0.1

03 Feb 12:38
@palmskog palmskog
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.
Compare
Choose a tag to compare
Apery release 1.0.1

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