SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus
SC-TPTP : Extending the TPTP Format for Sequent-based Proofs
A new version of content is available.