TY  - RPRT
TI  - What is a proof? What should it be?
AU  - Christoph Benzmüller
PY  - 2019
DO  - 10.13140/rg.2.2.13405.87521/1
UR  - https://arxiv.org/abs/1904.06332
ID  - 1904.06332
ER  -