Structure Turing.TM2ComputableAux

Modification history

2023-04-18 03:36

Mathlib/Computability/TMComputable.lean

feat: port Computability.TMComputable (#2800)

Added Turing.TM2ComputableAux View on Github →