TY  - RPRT
TI  - Metamath Zero: The Cartesian Theorem Prover
AU  - Mario Carneiro
PY  - 2020
UR  - https://arxiv.org/abs/1910.10703
ID  - 1910.10703
ER  -