@misc{indiciae26b23b9f0e91,
  title = {What is a proof? What should it be?},
  author = {Christoph Benzmüller},
  year = {2019},
  doi = {10.13140/rg.2.2.13405.87521/1},
  url = {https://arxiv.org/abs/1904.06332},
  note = {Source identifier: 1904.06332}
}