Theorem Proving in Dependently-Typed Higher-Order Logic : Extended Preprint
Faculty/Professorship: | AI Systems Engineering |
Author(s): | Rothgang, Colin; Rabe, Florian; Benzmüller, Christoph ![]() |
Publisher Information: | arXiv |
Year of publication: | 2023 |
Issue: | arXiv:2305.15382 |
Pages: | 72 |
Language(s): | English |
DOI: | 10.48550/ARXIV.2305.15382 |
URL: | https://arxiv.org/abs/2305.15382 |
Type: | Preprint |
URI: | https://fis.uni-bamberg.de/handle/uniba/59544 |
Release Date: | 25. May 2023 |

originated at the
University of Bamberg
University of Bamberg