OAI/Computability/QuantumFactoring/NativeAIGModWrapper.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ExactQuantumFactoring.NativeAIG.remainderOutInput line 14
2. def OAI.ExactQuantumFactoring.NativeAIG.remainderState line 21
3. lemma OAI.ExactQuantumFactoring.NativeAIG.remainderState_value line 22
4. lemma OAI.ExactQuantumFactoring.NativeAIG.remainderState_budget line 35
5. lemma OAI.ExactQuantumFactoring.NativeAIG.remainderState_length line 40
6. def OAI.ExactQuantumFactoring.NativeAIG.Emission.remainderOutInputP line 43
7. def OAI.ExactQuantumFactoring.NativeAIG.Emission.remainderStateP line 50
8. def OAI.ExactQuantumFactoring.NativeAIG.Emission.remainderP line 51