_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/AltGateSet.v
externals/SQIR/SQIR/DiscreteProb.v
externals/SQIR/SQIR/NDSem.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
QafnySyntax.v
LocusDef.v
LocusKind.v
LocusType.v
LocusSem.v
LocusTypeProof.v
LocusProof.v
QafnySQIR.v