TY  - RPRT
TI  - Embracing a mechanized formalization gap
AU  - Antal Spector-Zabusky
AU  - Joachim Breitner
AU  - Yao Li
AU  - Stephanie Weirich
PY  - 2019
UR  - https://arxiv.org/abs/1910.11724
ID  - 1910.11724
ER  -