Les assistants de preuve, ou comment avoir confiance en ses démonstrations. - Archive ouverte HAL Access content directly
Documents Associated With Scientific Events Year :

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

Julien Narboux
Compilation pour les Architectures MUlti-coeurS
CV

Abstract

Présentation de vulgarisation sur les assistants de preuve et la correspondance de Curry-Howard

Domains

Computer Science [cs] Logic in Computer Science [cs.LO]
Fichier principal
Vignette du fichier
slides_vulgarisation_coq.pdf (1.31 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Julien Narboux  : Connect in order to contact the contributor

https://hal.inria.fr/hal-00809448

Submitted on : Tuesday, April 9, 2013-12:43:22 PM

Last modification on : Wednesday, March 15, 2023-8:54:10 AM

Long-term archiving on: Monday, April 3, 2017-2:32:59 AM

Download

Dates and versions

hal-00809448 , version 1 (09-04-2013)

Identifiers

  • HAL Id : hal-00809448 , version 1

Cite

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

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS INRIA INRIA-MECSCI INRIA2
216 View
638 Download

Share

Gmail Facebook Twitter LinkedIn More