OAI/Computability/QuantumFactoring/NetworkStackCompiler.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.ExactQuantumFactoring.NetworkEmission.StackOp line 12
2. def OAI.ExactQuantumFactoring.NetworkEmission.stackOpCode line 13
3. def OAI.ExactQuantumFactoring.NetworkEmission.stackStep line 14
4. def OAI.ExactQuantumFactoring.NetworkEmission.stackBudget line 18
5. def OAI.ExactQuantumFactoring.NetworkEmission.opWeight line 19
6. lemma OAI.ExactQuantumFactoring.NetworkEmission.stackStep_budget line 20
7. lemma OAI.ExactQuantumFactoring.NetworkEmission.stackStep_length line 30
8. lemma OAI.ExactQuantumFactoring.NetworkEmission.stackFold_budget line 32
9. lemma OAI.ExactQuantumFactoring.NetworkEmission.stackFold_length line 41
10. lemma OAI.ExactQuantumFactoring.NetworkEmission.opWeight_le_code line 49
11. lemma OAI.ExactQuantumFactoring.NetworkEmission.opWeights_le_code line 53
12. lemma OAI.ExactQuantumFactoring.NetworkEmission.stackCode_bound line 59