Def Turing.TM2ComputableInPolyTime.toTM2ComputableInTime

Modification history

2023-04-18 03:36
Mathlib/Computability/TMComputable.lean
feat: port Computability.TMComputable (#2800)
Added Turing.TM2ComputableInPolyTime.toTM2ComputableInTimeView on Github →