Associate Professor
University of Lorraine, CNRS, Inria, LORIA, Nancy, France

HOME
RESEARCH
TEACHING
ACTIVITIES
TOOLS
MISCELLANEOUS
CONTACT

Post

The ProoVer Competition

Posted Aug 2, 2025 Updated Oct 1, 2025

By Julie Cailler

1 min read

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

Share

Further Reading

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

Interoperability of Proof systems with SC-TPTP (System Description)

Deskolemization: From Tableaux to Machine-Checkable Proofs

© 2025 Julie Cailler.

Using the Jekyll theme Chirpy.

A new version of content is available.