OAI/Computability/QuantumFactoring/BitStackUnary.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ExactQuantumFactoring.BitStackProgram.addCounter line 14
2. lemma OAI.ExactQuantumFactoring.BitStackProgram.addCounter_iterate line 15
3. lemma OAI.ExactQuantumFactoring.BitStackProgram.pred_iterate_word line 24
4. def OAI.ExactQuantumFactoring.BitStackProgram.Procedure.unaryAdd line 31
5. def OAI.ExactQuantumFactoring.BitStackProgram.Procedure.unaryMul line 38
6. def OAI.ExactQuantumFactoring.BitStackProgram.Procedure.unaryPred line 59
7. def OAI.ExactQuantumFactoring.BitStackProgram.Procedure.unarySub line 62
8. def OAI.ExactQuantumFactoring.BitStackProgram.Procedure.unaryZero line 70
9. def OAI.ExactQuantumFactoring.BitStackProgram.Procedure.unaryLe line 73