TY  - RPRT
TI  - MathZero, The Classification Problem, and Set-Theoretic Type Theory
AU  - David McAllester
PY  - 2020
UR  - https://arxiv.org/abs/2005.05512
ID  - 2005.05512
ER  -