What is a proof? What should it be?. Benzmüller, C. 2019. ![What is a proof? What should it be? [link]](https://bibbase.org/img/filetypes/link.svg "link")
Preprint 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},
OPTurl = {http://arxiv.org/abs/1904.06332},
Doi = {10.13140/RG.2.2.13405.87521/1},
year = 2019,
}
Downloads: 1
{"_id":"eKsR47qJai4FP759Z","bibbaseid":"benzmller-whatisaproofwhatshoulditbe-2019","author_short":["Benzmüller, C."],"bibdata":{"bibtype":"misc","type":"misc","keywords":"own, Formal Proof, Mathematical Proof Assistant, Higher Order Logic, Universal Reasoning","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"publisher":"arXiv","title":"What is a proof? What should it be?","url_preprint":"https://www.researchgate.net/publication/330310239","opturl":"http://arxiv.org/abs/1904.06332","doi":"10.13140/RG.2.2.13405.87521/1","year":"2019","bibtex":"@misc{R72arxiv,\n Keywords =\t {own, Formal Proof, Mathematical Proof\n Assistant, Higher Order Logic, Universal Reasoning},\n Author =\t {Christoph Benzm{\\\"u}ller},\n Publisher =\t {arXiv},\n Title =\t {What is a proof? What should it be?},\n url_preprint = {https://www.researchgate.net/publication/330310239},\n OPTurl =\t\t {http://arxiv.org/abs/1904.06332},\n Doi =\t\t {10.13140/RG.2.2.13405.87521/1},\n year =\t 2019,\n}\n\n","author_short":["Benzmüller, C."],"key":"R72arxiv","id":"R72arxiv","bibbaseid":"benzmller-whatisaproofwhatshoulditbe-2019","role":"author","urls":{" preprint":"https://www.researchgate.net/publication/330310239"},"keyword":["own","Formal Proof","Mathematical Proof Assistant","Higher Order Logic","Universal Reasoning"],"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"misc","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","formal proof","mathematical proof assistant","higher order logic","universal reasoning"],"search_terms":["proof","benzmüller"],"title":"What is a proof? What should it be?","year":2019,"downloads":1}