back [alt+←]
14

Turing Machine Halting in Lean in programming by exist