The following pages link to David Delahaye (Q2104524):
Displayed 16 items.
- \textsf{Goéland}: a concurrent tableau-based theorem prover (system description) (Q2104525) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- Dealing with algebraic expressions over a field in Coq using Maple (Q2456560) (← links)
- (Q2766804) (← links)
- (Q2767010) (← links)
- (Q2844812) (← links)
- (Q2852041) (← links)
- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo (Q2870135) (← links)
- Tableaux Modulo Theories Using Superdeduction (Q2908505) (← links)
- Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving (Q3095242) (← links)
- Integrating Simplex with Tableaux (Q3455763) (← links)
- Zenon: An Extensible Automated Theorem Prover Producing Checkable Proofs (Q3498463) (← links)
- Extracting Purely Functional Contents from Logical Inductive Types (Q3523167) (← links)
- (Q4484339) (← links)
- Producing Certified Functional Code from Inductive Specifications (Q4916053) (← links)
- An Automation-Friendly Set Theory for the B Method (Q5881455) (← links)