Def Turing.TM1.eval

Modification history

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