P
Initializing...
ComputesInTime invariance under arbitrary certificate tape contents · Prove2Me