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