Def Turing.idComputableInPolyTime

Modification history

2026-02-26 13:42
Mathlib/Computability/TMComputable.lean
refactor(Computability/TMComputable): generalize from `FinEncoding` (#34779) …
Modified Turing.idComputableInPolyTimeView on Github →
2023-04-18 03:36
Mathlib/Computability/TMComputable.lean
feat: port Computability.TMComputable (#2800)
Added Turing.idComputableInPolyTimeView on Github →