OAI/Computability/QuantumFactoring/PackedPrograms.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ExactQuantumFactoring.firstRegister line 15
2. lemma OAI.ExactQuantumFactoring.packed_first line 22
3. lemma OAI.ExactQuantumFactoring.packed_injective line 27
4. lemma OAI.ExactQuantumFactoring.packed_replace_first line 33
5. def OAI.ExactQuantumFactoring.firstProgram line 48
6. lemma OAI.ExactQuantumFactoring.firstProgram_length line 51
7. lemma OAI.ExactQuantumFactoring.firstProgram_state line 54
8. lemma OAI.ExactQuantumFactoring.firstProgram_basis line 67
9. lemma OAI.ExactQuantumFactoring.BooleanNetwork.oracleOn_state line 74