OAI/Computability/DepthThree/TapeArithmetic.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.DepthThreeLowerBound.TapeArithmetic.update_onPair_src line 15
2. theorem OAI.DepthThreeLowerBound.TapeArithmetic.update_onPair_dst line 24
3. def OAI.DepthThreeLowerBound.TapeArithmetic.decPositive line 36
4. abbrev OAI.DepthThreeLowerBound.TapeArithmetic.AddState line 40
5. def OAI.DepthThreeLowerBound.TapeArithmetic.addProgram line 42
6. def OAI.DepthThreeLowerBound.TapeArithmetic.addStart line 46
7. def OAI.DepthThreeLowerBound.TapeArithmetic.addDone line 47
8. theorem OAI.DepthThreeLowerBound.TapeArithmetic.runs_add line 49
9. theorem OAI.DepthThreeLowerBound.TapeArithmetic.add_done line 81