Skip to content

Algebra Tactics 0.2.0
Compare
Choose a tag to compare
@pi8027 pi8027 released this 14 Dec 16:31
· 120 commits to master since this release
0.2.0
2a4ef98
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 release is compatible with Coq 8.13 to 8.15, MathComp 1.12 to 1.14, Mczify 1.1 to 1.2, and Coq-Elpi 1.10.1 to 1.12. It fixes some performance issues and an issue with the non-nullity conditions of the field tactic.

Assets 2
Loading