Comment on Show HN: A reference implementation of Turing's paper “On Computable Numbers”Comments−Smaug1232yAs an aside, there are a number of Turing machines defined in Lean's mathlib. https://github.com/leanprover-community/mathlib4/blob/2c3ee3...
Comments
As an aside, there are a number of Turing machines defined in Lean's mathlib. https://github.com/leanprover-community/mathlib4/blob/2c3ee3...