_CoqProject

-R . Top

externals/SQIR/externals/QWIRE/Prelim.v
externals/SQIR/externals/QWIRE/RealAux.v
externals/SQIR/externals/QWIRE/Complex.v
externals/SQIR/externals/QWIRE/Matrix.v
externals/SQIR/externals/QWIRE/Quantum.v
externals/SQIR/externals/QWIRE/Dirac.v
externals/SQIR/externals/QWIRE/Proportional.v

externals/SQIR/SQIR/SQIR.v
externals/SQIR/SQIR/UnitarySem.v
externals/SQIR/SQIR/VectorStates.v
externals/SQIR/SQIR/UnitaryOps.v
externals/SQIR/SQIR/Equivalences.v
externals/SQIR/SQIR/GateDecompositions.v
externals/SQIR/SQIR/ExtractionGateSet.v
externals/SQIR/SQIR/DiscreteProb.v

externals/SQIR/examples/QPE.v
externals/SQIR/examples/Utilities.v

externals/SQIR/examples/shor/extraction/ExtrOcamlList.v
externals/SQIR/examples/shor/extraction/ExtrOcamlNatZ.v
externals/SQIR/examples/shor/extraction/ExtrOcamlR.v

BasicUtility.v
MathSpec.v
OQASM.v
PQASM.v
OQASMProof.v
Testing.v
CLArith.v
RZArith.v
OQIMP.v
OracleExample.v
ArithTesting.v
ExtrOQASM.v