David Delahaye

Available identifiers

Publication	Date of Publication	Type
An Automation-Friendly Set Theory for the B Method	2023-03-10	Paper
\textsf{Goéland}: a concurrent tableau-based theorem prover (system description)	2022-12-07	Paper
First-order automated reasoning with theories: when deduction modulo theory meets practice	2020-11-02	Paper
Integrating Simplex with Tableaux	2015-12-11	Paper
Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo	2014-01-17	Paper
Quantifier elimination over algebraically closed fields in a proof assistant using a computer algebra system	2013-10-07	Paper
A proof dedicated meta-language	2013-08-19	Paper
Producing Certified Functional Code from Inductive Specifications	2013-04-19	Paper
Tableaux Modulo Theories Using Superdeduction	2012-09-05	Paper
Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving	2011-10-28	Paper
Extracting Purely Functional Contents from Logical Inductive Types	2008-09-02	Paper
Zenon: An Extensible Automated Theorem Prover Producing Checkable Proofs	2008-05-15	Paper
Dealing with algebraic expressions over a field in Coq using Maple	2007-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q4484339	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q2767010	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q2766804	2002-07-22	Paper

This page was built for person: David Delahaye