Comment on Did Turing prove the undecidability of the halting problem?parentComments−Tainnor2yFor example, here's a formally verified proof in Lean: https://github.com/leanprover-community/mathlib4/blob/124731...
Comments
For example, here's a formally verified proof in Lean: https://github.com/leanprover-community/mathlib4/blob/124731...