Skip to content

Binary Rational Numbers release for Coq 8.12
Compare
Choose a tag to compare
@palmskog palmskog released this 09 Oct 23:10
· 29 commits to master since this release
v8.12.0
a6f7a07
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.

Release known to be compatible with Coq 8.7 to Coq 8.12. Fixes various deprecations and introduces the possibility to build with Dune.

Assets 2
Loading