Accéder directement au contenu

David Delahaye

1
Documents
Identifiants chercheurs

Présentation

Publications

995846
Image document

Zenon: an Extensible Automated Theorem Prover Producing Checkable Proofs

Richard Bonichon , David Delahaye , Damien Doligez
LPAR 2007 - 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Oct 2007, Yerevan, Armenia. pp.151-165, ⟨10.1007/978-3-540-75560-9_13⟩
Communication dans un congrès inria-00315920v1