OAI/Computability/QuantumFactoring/RationalEmission.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ExactQuantumFactoring.BitStackProgram.Emits.ratAdd line 17
2. lemma OAI.ExactQuantumFactoring.BitStackProgram.Emits.ratMul line 19
3. lemma OAI.ExactQuantumFactoring.BitStackProgram.Emits.ratDiv line 21
4. lemma OAI.ExactQuantumFactoring.BitStackProgram.Emits.ratSub line 23
5. lemma OAI.ExactQuantumFactoring.BitStackProgram.Emits.ratPow line 25
6. lemma OAI.ExactQuantumFactoring.BitStackProgram.Emits.ratFloor line 27
7. lemma OAI.ExactQuantumFactoring.BitStackProgram.Emits.intRat line 29
8. lemma OAI.ExactQuantumFactoring.BitStackProgram.Emits.completionCoeff line 31
9. lemma OAI.ExactQuantumFactoring.BitStackProgram.Emits.knownProbability line 36
10. lemma OAI.ExactQuantumFactoring.BitStackProgram.Emits.quarterRetention line 40
11. lemma OAI.ExactQuantumFactoring.BitStackProgram.Emits.quarterGuessRetention line 44