En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

AUDIOVISUAL MATHEMATICS LIBRARY

AUDIOVISUAL MATHEMATICS LIBRARY

Documents Théry, Laurent 1 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Proof and computation in Coq - Théry, Laurent (Auteur de la Conférence) | CIRM H

Multi angle

In this talk, we are going to show on some elementary examples how computation can easily be incorporated inside proof in a proof system like Coq.

68N30 ; 68Q60 ; 68T15

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun