OAI/Computability/QuantumFactoring/NativeAIGInputs.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ExactQuantumFactoring.NativeAIG.rawInputs line 14
2. lemma OAI.ExactQuantumFactoring.NativeAIG.rawInputs_succ line 15
3. lemma OAI.ExactQuantumFactoring.NativeAIG.inputsPrefix_rel line 17
4. lemma OAI.ExactQuantumFactoring.NativeAIG.inputs_rel line 23
5. lemma OAI.ExactQuantumFactoring.NativeAIG.inputsPrefix_ref line 24
6. lemma OAI.ExactQuantumFactoring.NativeAIG.inputs_ref line 35
7. def OAI.ExactQuantumFactoring.NativeAIG.Emission.inputsP line 41
8. def OAI.ExactQuantumFactoring.NativeAIG.Emission.inputRefP line 48