Skip to content

Algebra Tactics 0.1.0
Compare
Choose a tag to compare
@pi8027 pi8027 released this 03 Oct 12:21
· 153 commits to master since this release
0.1.0
2aacfe2
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 the first release of Algebra Tactics, which provides ring and field tactics for Mathematical Components. It is compatible with Coq 8.13 to 8.14+rc1, MathComp 1.12, Mczify 1.1.0, and Coq-Elpi 1.10.1 to 1.11.2.

Assets 2
Loading