Skip to Main content Skip to Navigation
Documents associated with scientific events

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 : Thursday, March 5, 2020 - 4:51:35 PM
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

378

Files downloads

863