OAI/Computability/DegreeRigidity/SetModels/RegularTreeRun.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.RegularTreeRun.bit line 9
2. theorem OAI.TuringRigidity.RegularTreeRun.bit_word line 13
3. def OAI.TuringRigidity.RegularTreeRun.run line 19
4. theorem OAI.TuringRigidity.RegularTreeRun.run_positive line 23
5. theorem OAI.TuringRigidity.RegularTreeRun.run_take line 31
6. theorem OAI.TuringRigidity.RegularTreeRun.run_word line 41
7. def OAI.TuringRigidity.RegularTreeRun.stepFormula line 45
8. theorem OAI.TuringRigidity.RegularTreeRun.stepFormula_spec line 53