Les assistants de preuve, ou comment avoir confiance en ses démonstrations. - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Document Associé À Des Manifestations Scientifiques Année : 2013

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

Julien Narboux
Compilation pour les Architectures MUlti-coeurS
CV

Résumé

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

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
slides_vulgarisation_coq.pdf (1.31 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Julien Narboux  : Connectez-vous pour contacter le contributeur

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

Soumis le : mardi 9 avril 2013-12:43:22

Dernière modification le : vendredi 24 mars 2023-14:52:57

Archivage à long terme le : lundi 3 avril 2017-02:32:59

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-00809448 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA INRIA-MECSCI INRIA2
220 Consultations
672 Téléchargements

Partager

Gmail Facebook X LinkedIn More