What is a proof? What should it be?. Benzmüller, C. 2019.
What is a proof? What should it be? [link]Preprint  What is a proof? What should it be? [link]Paper  doi  bibtex   1 download  
@misc{R72arxiv,
  Keywords =	 {own, Formal Proof, Mathematical Proof
                  Assistant, Higher Order Logic, Universal Reasoning},
  Author =	 {Christoph Benzm{\"u}ller},
  Publisher =	 {arXiv},
  Title =	 {What is a proof? What should it be?},
  url_preprint = {https://www.researchgate.net/publication/330310239},
  Url =		 {http://arxiv.org/abs/1904.06332},
  Doi =		 {10.13140/RG.2.2.13405.87521/1},
  year =	 2019,
}

Downloads: 1