OAI/Computability/SpaceSimulation/OneTape/Trial.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Fifths.Single.Kit.onPaper line 16
2. theorem OAI.Fifths.Single.Kit.runnability line 38
3. def OAI.Fifths.Single.lastWord line 49
4. def OAI.Fifths.Single.complete line 53
5. def OAI.Fifths.Single.readout line 55
6. theorem OAI.Fifths.Single.if_complete line 57
7. theorem OAI.Fifths.Single.some_complete line 60
8. theorem OAI.Fifths.Single.Kit.solves line 69