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.

(1)
1

Abstract

Présentation de vulgarisation sur les assistants de preuve et la correspondance de Curry-Howard
Fichier principal
Vignette du fichier
slides_vulgarisation_coq.pdf (1.31 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

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⟩
216 View
634 Download

Share

Gmail Facebook Twitter LinkedIn More