Searching for authors named "David Delahaye" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
A proof dedicated meta-language
- …://www.elsevier.nl/locate/entcs/volume70.html 14 pages A Proof Dedicated Meta-Language ? David Delahaye 1 Programming Logic Group…
- Cited by 1 (0 self) – Add To MetaCart
-
A Tactic Language for the System Coq
- … A Tactic Language for the System Coq David Delahaye? Project Coq INRIA-Rocquencourt?? Abstract…
- Cited by 13 (1 self) – Add To MetaCart
-
Information Retrieval in a Coq Proof Library using Type Isomorphisms
- … Information Retrieval in a Coq Proof Library using Type Isomorphisms David Delahaye? Project…
- Cited by 4 (0 self) – Add To MetaCart
-
Zenon: an Extensible Automated Theorem Prover Producing Checkable Proofs
- … , David Delahaye 2 , and Damien Doligez 3 1 LIP6/Paris 6, Paris, France, Richard.Bonichon@(email omitted); 2 CEDRIC…
- Cited by 1 (1 self) – Add To MetaCart
-
806 Regulations Modelling and their Validation and Verification Modeling Airport Security Regulations in Focal
- … Regulations in Focal David Delahaye, Jean-Frédéric Étienne, and Véronique Viguié Donzeau-Gouge CEDRIC…
- Add To MetaCart
Showing 1 through 5.
