P
Initializing...
Turing machine conjunction composition with explicit linear overhead · Prove2Me