The Fatio Protocol for Formal Dialogue in Isabelle/HOL
Pasetto, Luca; Benzmüller, Christoph (2026): The Fatio Protocol for Formal Dialogue in Isabelle/HOL, in: Bamberg: Otto-Friedrich-Universität, doi: 10.20378/irb-117139.
Faculty/Chair:
Author:
 ; 
Conference:
Workshop on Theorem Proving and Machine Learning in the age of LLMs: SoA and Future Perspectives ; Edinburgh, Scotland, UK, April 7th-8th 2025
Publisher Information:
Year of publication:
2026
Pages:
Language:
English
DOI:
Licence:
URL:
URN:
GND Keywords:
HOL
 ; 
Isabelle <Programm>
Keywords:
Fatio Protocol for Formal Dialogue
DDC Classification:
RVK Classification:
ST 304    
Peer Reviewed:
Yes:
International Distribution:
Yes:
Open Access Journal:
Yes:
Type:
Conferenceobject
URI:
Activation date:
September 16, 2026

Full text/File(s)

fisba117139.pdf

Question on publication

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