OAI/Computability/MinUncut/Machines/GraphRenderMachine.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MinUncut.Costed.GraphRegisters.fullGraphMachine line 14
2. lemma OAI.MinUncut.Costed.GraphRegisters.fullGraphMachine_finiteAlphabet line 17
3. def OAI.MinUncut.Costed.GraphRegisters.renderTime line 21
4. def OAI.MinUncut.Costed.GraphRegisters.packedInput line 23
5. lemma OAI.MinUncut.Costed.GraphRegisters.rawRenderer_output line 26
6. lemma OAI.MinUncut.Costed.GraphRegisters.codec_length_le line 31
7. def OAI.MinUncut.Costed.GraphRegisters.fullGraphMachine_outputs line 53
8. def OAI.MinUncut.Costed.Arena.universalWords line 93
9. def OAI.MinUncut.Costed.Arena.universalWordsProgram line 98
10. lemma OAI.MinUncut.Costed.Arena.universalWords_spec line 102
11. def OAI.MinUncut.Costed.Arena.universalGraphMachine line 118
12. lemma OAI.MinUncut.Costed.Arena.universalGraphMachine_finiteAlphabet line 121
13. def OAI.MinUncut.Costed.Arena.universalGraphTime line 125
14. def OAI.MinUncut.Costed.Arena.graphPacked line 127
15. def OAI.MinUncut.Costed.Arena.universalGraphMachine_outputs line 129