TY  - RPRT
TI  - On Radically Expanding the Landscape of Potential Applications for Automated Proof Methods
AU  - Jeffrey Uhlmann
AU  - Jie Wang
PY  - 2020
DO  - 10.1007/s42979-021-00674-w
UR  - https://arxiv.org/abs/1906.00931
ID  - 1906.00931
ER  -