Julie Cailler
Associate Professor
University of Lorraine, CNRS, Inria, LORIA, Nancy, France
HOME
RESEARCH
TEACHING
ACTIVITIES
TOOLS
MISCELLANEOUS
CONTACT
Post
SC-TPTP : Extending the TPTP Format for Sequent-based Proofs
Posted
Nov 14, 2024
Updated
Nov 16, 2024
By
Julie Cailler
1 min
read
talks
This post is licensed under
CC BY 4.0
by the author.
Share
Further Reading
Nov 5, 2024
SC-TPTP : Extending the TPTP Format for Sequent-based Proofs
Nov 19, 2024
SC-TPTP : Extending the TPTP Format for Sequent-based Proofs
Jun 3, 2025
Goéland: A Concurrent Tableau-Based ATP that Produces Machine-Checkable Proofs
SC-TPTP : Extending the TPTP Format for Sequent-based Proofs
SC-TPTP : Extending the TPTP Format for Sequent-based Proofs
×
A new version of content is available.
Update
