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
Jun 20, 2024
Design of a Tableau-Based Automated Theorem Prover and Output of Machine-Checkable Proofs
Jul 1, 2024
Representing Sequent-style Derivations in TPTP with SC-TPTP
Nov 5, 2024
SC-TPTP : Extending the TPTP Format for Sequent-based 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
