Mathématiques
et Interactions
Accueil
Vidéos
Collections
Instituts
Conférencier·e·s
en
Connexion
Merci de nous
donner votre avis
pour que nous puissions améliorer votre expérience !
1 videos
Francophone Computer Algebra Days / JNCF - Journées nationales de calcul formel
4 videos
Master Class Lycéennes Séphora Berrebi
5 videos
Séminaire Parisien de Statistique
2 videos
One question, One researcher
Toutes les collections
Tous les instituts
Mot-clé
> Coq proof assistant
Les vidéos associées à Coq proof assistant
52:12
publiée le
10 décembre 2021
Towards Executable Applied Category Theory in Coq
De Nicolas Behr
01:10:24
publiée le
21 juin 2014
[1086] Developments in formal proofs
De Thomas C. Hales
01:35:44
publiée le
19 mai 2014
The practice and theory of Mezzo 2/2
De François Potier
01:36:03
publiée le
19 mai 2014
The practice and theory of Mezzo 1/2
De François Potier
50:30
publiée le
22 avril 2014
Proof assistants in computer science research
De Xavier Leroy
40:32
publiée le
22 avril 2014
Digitizing the Group Theory of the Odd Order Theorem
De Georges Gonthier
Voir +
Accueil
Vidéos
Collections
Instituts
Conférencier·e·s
À Propos
Connexion
Fr
/
En
Aide
Mentions légales
& Politique de confidentialité
Copyright Carmin.tv 2024
En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies pour améliorer votre expérience.
En savoir plus sur notre politique de confidentialité
.
Accepter
Donner son avis
![[1086] Developments in formal proofs](/media/cache/video_light/uploads/video/video-ce2a6dc8fc1735a3b803503c0f34563e.jpg)
