6 citations
- Conservatoire National des Arts et MétiersFR7 papers
- Centre d'études et de recherche en informatique et communicationsFR6 papers
- Centre de Recherche en InformatiqueFR2 papers
- École Nationale Supérieure d’Informatique pour l’Industrie et l’EntrepriseFR2 papers
- Institut Élie Cartan de LorraineFR2 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Brain Mapping FoundationUS1 paper
- Cancer et génome: Bioinformatique, biostatistiques et épidémiologie des systèmes complexes1 paper
- Center for Advanced Systems UnderstandingDE1 paper
- Centre Inria de SaclayFR1 paper
- Département mathématiques, informatique, sciences de la donnée et technologies du numériqueFR1 paper
- École Nationale Supérieure des Mines de ParisFR1 paper
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023★ 6 cited
Dedukti: a Logical Framework based on the -Calculus Modulo Theory
Ali Assaf, Guillaume Burel, Raphaël Cauderlier +7
Dedukti is a Logical Framework based on the -Calculus Modulo Theory. We show that many theories can be expressed in Dedukti: constructive and classical predicate logic, Simpl…
cs.LO2015★ 1 cited
Recovering Intuition from Automated Formal Proofs using Tableaux with Superdeduction
David Delahaye, Mélanie Jacquel
We propose an automated deduction method which allows us to produce proofs close to the human intuition and practice. This method is based on tableaux, which generate more natural…