Structure Turing.TM2ComputableInPolyTime

Modification history

2023-04-18 03:36

Mathlib/Computability/TMComputable.lean

feat: port Computability.TMComputable (#2800)

Added Turing.TM2ComputableInPolyTime View on Github →