Skip to content

Binary Rational Numbers release for Coq 8.13
Compare
Choose a tag to compare
@palmskog palmskog released this 03 Aug 18:09
· 20 commits to master since this release
v8.13.0
52739ed
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 compatible with Coq 8.12 and 8.13, featuring the following changes:

  • add explicit non-global hint locality
  • switch out omega for lia
  • generalize applicable definitions from Set to Type
Assets 2
Loading