OAI/Computability/MinUncut/Machines/UnboundedGraphMachine.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MinUncut.Costed.Arena.unboundedGraphMachine line 13
2. lemma OAI.MinUncut.Costed.Arena.unboundedGraphMachine_finiteAlphabet line 16
3. def OAI.MinUncut.Costed.Arena.unboundedGraphTime line 20
4. def OAI.MinUncut.Costed.Arena.unboundedGraphPacked line 22
5. def OAI.MinUncut.Costed.Arena.unboundedGraphMachine_outputs line 24