inQWIRE / QuantumLibLinks
Coq library for reasoning about quantum programs
☆39Updated 4 months ago
Alternatives and similar repositories for QuantumLib
Users that are interested in QuantumLib are comparing it to the libraries listed below
Sorting:
- A Small Quantum Intermediate Representation☆86Updated 4 months ago
- Verifying the ZX Calculus