Skip to content

Release of version 2.2
Compare
Choose a tag to compare
@Yosuke-Ito-345 Yosuke-Ito-345 released this 18 Dec 07:38
· 16 commits to master since this release
v2.2
59b925a
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.

Dependencies

  • Coq 8.13 or later
  • Mathematical Components 1.12.0 or later
  • Coquelicot 3.1.0 or later

Main changes from version 2.1 to version 2.2

  • Some obsolete tactics are modified thanks to Karl Palmskog.
  • The preprint (in Japanese) on this package is uploaded.
  • Files are organized into theories and doc directories.
Assets 2
Loading