Les assistants de preuve, ou comment avoir confiance en ses démonstrations. - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Documents Associated With Scientific Events Year : 2013

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

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⟩
222 View
679 Download

Share

Gmail Mastodon Facebook X LinkedIn More