A Deep Embedding of HOL in HOL : Soundness, Completeness, Consistency (Isabelle/HOL dataset)
Benzmüller, Christoph; Kirchner, Daniel (2026): A Deep Embedding of HOL in HOL : Soundness, Completeness, Consistency (Isabelle/HOL dataset), in: Archive of Formal Proofs, San Diego, CA: SourceForge.
Faculty/Chair:
Author:
 ; 
Title of the Journal:
Archive of Formal Proofs
ISSN:
2150-914x
Publisher Information:
Year of publication:
2026
Pages:
Language:
English
URL:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Open Access Journal:
Yes:
Type:
Article
URI:
Activation date:
September 10, 2026

Question on publication

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