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

HOME
RESEARCH
TEACHING
ACTIVITIES
TOOLS
MISCELLANEOUS
CONTACT

Post

Reasoning Methods in Automated Theorem Proving

Posted Feb 7, 2023

By Julie Cailler

1 min read

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

Share

Further Reading

Design of a Tableau-Based Automated Theorem Prover and Output of Machine-Checkable Proofs

Representing Sequent-style Derivations in TPTP with SC-TPTP

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

Goéland: A Concurrent Tableau-Based Theorem Prover

Formal Method: The Art of Using Logic to Build Safer Systems

© 2025 Julie Cailler.

Using the Jekyll theme Chirpy.

A new version of content is available.