What is a proof? What should it be?
Author(s): | Benzmüller, Christoph ![]() |
Title of the Journal: | arXiv |
Publisher Information: | arXiv.org |
Year of publication: | 2019 |
Pages: | 4 |
Language(s): | English |
DOI: | 10.48550/arXiv.1904.06332 |
URL: | https://arxiv.org/abs/1904.06332 |
Type: | Other (Publication) |
URI: | https://fis.uni-bamberg.de/handle/uniba/57406 |
Release Date: | 23. December 2022 |