“Proof idea: SLT to AIT” by Lucius Bushnaq

LessWrong (30+ Karma) - “Proof idea: SLT to AIT” by Lucius Bushnaq