SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Posted Jul 2, 2024

By

1 min read

This post is licensed under CC BY 4.0 by the author.

A new version of content is available.