talks 17
- The ProoVer Competition Aug 2, 2025
- Goéland: A Concurrent Tableau-Based ATP that Produces Machine-Checkable Proofs Jun 3, 2025
- SC-TPTP : Extending the TPTP Format for Sequent-based Proofs Nov 19, 2024
- SC-TPTP : Extending the TPTP Format for Sequent-based Proofs Nov 14, 2024
- SC-TPTP : Extending the TPTP Format for Sequent-based Proofs Nov 5, 2024
- Representing Sequent-style Derivations in TPTP with SC-TPTP Jul 1, 2024
- Design of a Tableau-Based Automated Theorem Prover and Output of Machine-Checkable Proofs Jun 20, 2024
- Design of a Tableau-Based Automated Theorem Prover and Output of Machine-Checkable Proofs Apr 30, 2024
- Design of a Tableau-Based Automated Theorem Prover and Output of Machine-Checkable Proofs Mar 14, 2024
- Design of a Tableau-Based Automated Theorem Prover and Output of Machine-Checkable Proofs Feb 23, 2024
- Design of a Tableau-Based Automated Theorem Prover and Output of Machine-Checkable Proofs Feb 8, 2024
- Goéland: A Concurrent Tableau-Based Theorem Prover Sep 4, 2023
- Formal Method: The Art of Using Logic to Build Safer Systems May 25, 2023
- Reasoning Methods in Automated Theorem Proving Feb 7, 2023
- Goéland: A Concurrent Tableau-Based Theorem Prover Aug 11, 2022
- Goéland: A Concurrent Tableau-Based Theorem Prover (System Description) Aug 9, 2022
- A Concurrent Tableaux Proof-Search Procedure Jun 4, 2021