Skip to content

Releases: rocq-community/bits

Coq 8.13 / Mathcomp 1.12 compatibility release

11 Jul 14:12
@anton-trunov anton-trunov
1.1.0
9cfbd2a
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Coq 8.13 / Mathcomp 1.12 compatibility release Latest
Latest
  • Compatibility with Coq 8.10 - 8.13 and Mathcomp 1.12
  • Switch CI to the Mathcomp Docker images
  • Enhanced documentation

Many thanks to @vzaliva and @Zimmi48 who contributed Coq 8.13 / Mathcomp 1.12 support.

Assets 2
Loading

Initial release as coq-community project

03 Feb 23:24
@anton-trunov anton-trunov
1.0.0
f421c75

Choose a tag to compare

View all tags
Initial release as coq-community project
  • Compatibility with Coq 8.7 - 8.11 and Mathcomp 1.7 - 1.10
  • Enhance project description
  • Add CI
Loading