1.1.0

k4rtik released this 31 Jul 23:10

· 96 commits to main since this release

b920430

What's Changed

Initial release on Coq opam repo.
Add support for Coq 8.15
Progress with documentation, rendered at https://inqwire.github.io/QuantumLib/toc.html

Full Changelog: v1.0.0...v1.1.0

Assets 2