SC-TPTP : Extending the TPTP Format for Sequent-based Proofs

Posted Nov 5, 2024 Updated Nov 16, 2024

By Julie Cailler

1 min read

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

A new version of content is available.