What is a proof? What should it be? (bibtex)
by Christoph Benzmüller
Reference:
What is a proof? What should it be? (Christoph Benzmüller), number arXiv:1904.06332, 2019. (See also https://www.researchgate.net/publication/330310239)
Bibtex Entry:
@unpublished{R72,
  Keywords =	 {own, submitted, Formal Proof, Mathematical Proof Assistant,
                  Higher Order Logic, Universal Reasoning},
  Author =	 {Christoph Benzm{\"u}ller},
  Journal =	 {Submitted},
  Title =	 {What is a proof? What should it be?},
  Institution =	 {CoRR},
  Number      =  {arXiv:1904.06332},
  Addendum =	 {See also \url{https://www.researchgate.net/publication/330310239}},
  Url =		 {http://arxiv.org/abs/1904.06332},
  Doi =		 {10.13140/RG.2.2.13405.87521/1},
  year =	 2019,
}