Skip to content

Q*cert v2.1.0
Compare
Choose a tag to compare
@jeromesimeon jeromesimeon released this 22 Aug 16:43
· 212 commits to master since this release
v2.1.0
15d2783

✨ This is a release of the Q*cert compiler framework for OCaml >= 4.09 and Coq >= 8.11. Also switches floating point numbers support from flocq to native Coq floats.

Assets 2
Loading