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

HOME
RESEARCH
TEACHING
ACTIVITIES
TOOLS
MISCELLANEOUS
CONTACT

Post

Goéland: A Concurrent Tableau-Based Theorem Prover

Posted Sep 4, 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

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

Designing an Automated Concurrent Tableau-Based Theorem Prover for First-Order Logic

© 2025 Julie Cailler.

Using the Jekyll theme Chirpy.

A new version of content is available.