-
Notifications
You must be signed in to change notification settings - Fork 88
Open
Description
by developing function to convert PolyTimeComputable into one with monotone time bound
cslib/Cslib/Computability/Machines/SingleTapeTuring/Basic.lean
Lines 487 to 488 in 2a1f434
| -- TODO remove `h_mono` assumption | |
| -- by developing function to convert PolyTimeComputable into one with monotone time bound |
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels