smtlaissezfaire/theory-of-computation archive