Def Turing.TM1.stepAux

Modification history

2024-08-09 12:27

Mathlib/Computability/TuringMachine.lean

fix: variables in TuringMachine.lean (#15422) …

Modified Turing.TM1.stepAux View on Github →

2023-02-15 04:21

Mathlib/Computability/TuringMachine.lean

feat: port Computability.TuringMachine (#2125)

Added Turing.TM1.stepAux View on Github →