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
Type de document :
Document associé à des manifestations scientifiques
Séminaire L, Mar 2013, Strasbourg, France
Liste complète des métadonnées

https://hal.inria.fr/hal-00809448
Contributeur : Julien Narboux <>
Soumis le : mardi 9 avril 2013 - 12:43:22
Dernière modification le : samedi 13 janvier 2018 - 01:04:01
Document(s) archivé(s) le : lundi 3 avril 2017 - 02:32:59

Fichier

slides_vulgarisation_coq.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

307

Téléchargements de fichiers

765