Benzmüller, ChristophChristophBenzmüller0000-0002-3392-30932022-12-232022-12-232019https://fis.uni-bamberg.de/handle/uniba/57406engWhat is a proof? What should it be?other10.48550/arXiv.1904.06332https://arxiv.org/abs/1904.06332