OAI/Computability/QuantumFactoring/FinalPolynomialResources.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ExactQuantumFactoring.PhysicalTree.factoringProgram_at line 14
2. lemma OAI.ExactQuantumFactoring.PhysicalTree.readoutWidth_at line 24
3. lemma OAI.ExactQuantumFactoring.PhysicalTree.paddedLength_poly line 32
4. lemma OAI.ExactQuantumFactoring.PhysicalTree.finalCircuit_qubits_poly line 34
5. lemma OAI.ExactQuantumFactoring.PhysicalTree.finalCircuit_gates_poly line 37
6. theorem OAI.ExactQuantumFactoring.PhysicalTree.finalCircuit_resources line 43