Recent Releases of sqir
sqir - v1.1.0
Minor updates to get proofs working with the 1.1.0 release of QuantumLib.
- Rocq Prover
Published by khieta almost 4 years ago
sqir - v1.0.0
The first official release of the SQIR/VOQC projects. All code has been tested with Coq versions 8.12-8.15 and the repository includes no Admitted lemmas. This version of the code matches what is described in Kesha’s dissertation.
- Rocq Prover
Published by khieta almost 4 years ago