Options
Faithful Logic Embeddings in HOL : Deep and Shallow (Isabelle/HOL dataset)
Benzmüller, Christoph (2025): Faithful Logic Embeddings in HOL : Deep and Shallow (Isabelle/HOL dataset), in: Archive of Formal Proofs,.
Faculty/Chair:
Author:
Title of the Journal:
Archive of Formal Proofs
ISSN:
2150-914x
Year of publication:
2025
Pages:
Language:
English
Peer Reviewed:
Yes:
International Distribution:
Yes:
Open Access Journal:
Yes:
Type:
Article
Activation date:
June 6, 2025
Permalink
https://fis.uni-bamberg.de/handle/uniba/108582