David Delahaye
David Delahaye
Affiliation: LIRMM, Univ Montpellier, CNRS
Affiliation: LIRMM, Univ Montpellier, CNRS, Montpellier, France
Pages in this Program
A Strategy Language for Controlled Proof Search
Pgeon: Generating Tableau-Based Provers from Declarative Specifications of Logical Calculi
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑