Skip to content

Release of version 2.6

Latest
Latest
Compare
Choose a tag to compare
@Yosuke-Ito-345 Yosuke-Ito-345 released this 10 Nov 11:43
v2.6
e031068
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.17.1 or later
  • Mathematical Components 1.17.0 or 1.18.0
  • Coquelicot 3.4.0 or later

Main change from version 2.5 to version 2.6

  • Modified the code to be compatible with CoqPlatform.2023.03.
Assets 2
Loading