Les assistants de preuve, ou comment avoir confiance en ses démonstrations.
Résumé
Présentation de vulgarisation sur les assistants de preuve et la correspondance de Curry-Howard
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
| Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Présentation de vulgarisation sur les assistants de preuve et la correspondance de Curry-Howard
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
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 octobre 2025-16:50:03
Archivage à long terme le : lundi 3 avril 2017-02:32:59