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. (http://arxiv.org/abs/1904.06332)
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?},
  Institution =	 {CoRR},
  Note =	 {\url{http://arxiv.org/abs/1904.06332}},
  Url =		 {http://arxiv.org/abs/1904.06332 },
  Doi =		 {10.13140/RG.2.2.13405.87521/1},
  year =	 2019,
}
Powered by bibtexbrowser