Skip to content

Algebra Tactics 1.2.3

Latest
Latest
Compare
Choose a tag to compare
@pi8027 pi8027 released this 18 Jan 14:24
· 5 commits to master since this release
1.2.3
5089896
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

This release is compatible with Coq 8.16 to 8.19, MathComp 2.0 to 2.2, Mczify 1.15, and Coq-Elpi 1.15 to 2.0 (except 1.17.0).

Assets 2
Loading