Skip to content

2.0.0

Choose a tag to compare

View all tags
@aleksnanevski aleksnanevski released this 30 Sep 13:44
· 14 commits to master since this release
v2.0.0
1d1fefd
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
  • A new major release based on mathcomp2.
  • Dropped coq8.15-8.17, support 8.19-8.20.
  • STsep notation changed. Instead of {G}. STsep (p, q) now it's STsep {G} (p, q).
  • The proof of Barcelogic congruence closure is restored (from POPL 2010 paper)
Assets 2
Loading