Def Turing.TM2OutputsInTime.toTM2Outputs

Modification history

2023-04-18 03:36

Mathlib/Computability/TMComputable.lean

feat: port Computability.TMComputable (#2800)

Added Turing.TM2OutputsInTime.toTM2Outputs View on Github →