4 ms·
As an aside, there are a number of Turing machines defined in Lean's mathlib. https://github.com/leanprover-community/mathlib4/blob/2c3ee375d609fb8e22e675d46e5e
by Smaug123 3y ago
As an aside, there are a number of Turing machines defined in Lean's mathlib. https://github.com/leanprover-community/mathlib4/blob/2c3ee375d609fb8e22e675d46e5e19a145f10617/Mathlib/Computability/TuringMachine.lean https://github.com/leanprover-community/mathlib4/blob/2c3ee3...