Skip to content

Kruskal-Veldman 1.3

Latest
Latest
Compare
Choose a tag to compare
@DmxLarchey DmxLarchey released this 22 Nov 15:25
· 1 commit to main since this release
1.3
039581f
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

For Coq 8.20 and Software Heritage archival.
Some notations priorities have been modified.

Assets 3
Loading