Skip to content

Algebra Tactics 1.2.7

Latest
Latest

Choose a tag to compare

View all tags
@proux01 proux01 released this 04 Sep 12:24
· 6 commits to master since this release
1.2.7
a67db79
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

This release is compatible with Coq 8.20 to 9.1 and MathComp 2.4.
Adds compatibility with rocq-elpi 3.1.0.

Assets 2
Loading