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