Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Research talks;Computer Science
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
... Lire [+]
