Theorem Proving in Dependently-Typed Higher-Order Logic : Extended Preprint
Rothgang, Colin; Rabe, Florian; Benzmüller, Christoph (2023): Theorem Proving in Dependently-Typed Higher-Order Logic : Extended Preprint, in: arXiv, Nr. arXiv:2305.15382, doi: 10.48550/ARXIV.2305.15382.
Faculty/Chair:
Author:
 ;  ; 
Publisher Information:
Year of publication:
2023
Issue:
arXiv:2305.15382
Pages:
Language:
English
DOI:
URL:
Type:
Preprint
URI:
Activation date:
May 25, 2023

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/59544