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 results

Filter
Select: All / None
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 (Author of the conference) | 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

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None