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), 2019. (Url (preprint): http://doi.org/10.13140/RG.2.2.13405.87521/1)
Bibtex Entry:
@unpublished{R72,
  Author =	 {Christoph Benzm{\"u}ller},
  Keywords =	 {own, Formal Proof, Mathematical Proof Assistant,
                  Higher Order Logic, Universal Reasoning},
  Title =	 {What is a proof? What should it be?},
  Note =	 {Url (preprint): \url{http://doi.org/10.13140/RG.2.2.13405.87521/1}},
  Doi =		 {10.13140/RG.2.2.13405.87521/1},
  year =	 2019,
}
Powered by bibtexbrowser