Skip to content

Release of version 2.1
Compare
Choose a tag to compare
@Yosuke-Ito-345 Yosuke-Ito-345 released this 01 Nov 12:34
· 42 commits to master since this release
v2.1
4a56044
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: v8.13.2
  • MathComp: 1.12.0
  • Coquelicot: 3.1.0

Main changes from version 2.0 to version 2.1

  • The basic standard build scripts are added thanks to Karl Palmskog.
Assets 2
Loading