Les assistants de preuve, ou comment avoir confiance en ses démonstrations.

Julien Narboux 1
1 CAMUS - Compilation pour les Architectures MUlti-coeurS
LSIIT - Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection, Inria Nancy - Grand Est
Résumé : Présentation de vulgarisation sur les assistants de preuve et la correspondance de Curry-Howard
Document type :
Documents associated with scientific events
Complete list of metadatas

https://hal.inria.fr/hal-00809448
Contributor : Julien Narboux <>
Submitted on : Tuesday, April 9, 2013 - 12:43:22 PM
Last modification on : Saturday, January 13, 2018 - 1:04:01 AM
Long-term archiving on : Monday, April 3, 2017 - 2:32:59 AM

File

slides_vulgarisation_coq.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00809448, version 1

Collections

Citation

Julien Narboux. Les assistants de preuve, ou comment avoir confiance en ses démonstrations.. Séminaire L, Mar 2013, Strasbourg, France. ⟨hal-00809448⟩

Share

Metrics

Record views

343

Files downloads

801