Def Turing.TM0.eval

Modification history

2023-05-01 22:19
Mathlib/Computability/TuringMachine.lean
feat: make `Acc.rec` and many related defs computable (#3535) …
Added Turing.TM0.evalView on Github →