OAI/Computability/QuantumFactoring/BitStackBooleans.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ExactQuantumFactoring.BitStackProgram.Procedure.ofBool line 15

   Source documentation

   A truth table on one Boolean has two literal finite output words. This performs no run-time computation in its Boolean branch labels.

   noncomputable def ofBool (eb : β→List Bool) (f : Bool→β) :
       Procedure boolCode eb f := by
   …

   Mentions: OAI.ExactQuantumFactoring.BitStackProgram.Procedure, OAI.ExactQuantumFactoring.BitStackProgram.Procedure.boolCode

2. def OAI.ExactQuantumFactoring.BitStackProgram.Procedure.ofBool₂ line 22
3. def OAI.ExactQuantumFactoring.BitStackProgram.Procedure.ofBool₃ line 27
4. def OAI.ExactQuantumFactoring.BitStackProgram.Procedure.boolNot line 33
5. def OAI.ExactQuantumFactoring.BitStackProgram.Procedure.boolAnd line 34
6. def OAI.ExactQuantumFactoring.BitStackProgram.Procedure.boolOr line 36
7. def OAI.ExactQuantumFactoring.BitStackProgram.Procedure.boolXor line 38
8. def OAI.ExactQuantumFactoring.BitStackProgram.Procedure.cons line 41