Coq/Rocq tutorial: Ssreflect tactics and the MathComp library
Loading the player...
|
Informations sur la Vidéo
Réalisateur : Hennenfent, GuillaumeLangue : Anglais Date de Publication : 22/04/2024 Date de Captation : 28/03/2024 Sous Collection : Research talks Catégorie arXiv : Logic in Computer Science Domaine(s) : Logique et Fondements Format : MP4 (.mp4) - HD Durée : 01:34:11 Audience : Chercheurs ; Etudiants Science Cycle 2 ; Doctoral Students, Post-Doctoral Students Download : https://videos.cirm-math.fr/2024-03-28_Kerjean.mp4 |
Informations sur la Rencontre
Nom de la Rencontre : Lean for the curious mathematician / Lean pour mathématiciensOrganisateurs de la Rencontre : Brasca, Riccardo ; Chambert-Loir, Antoine ; de Frutos-Fernández, María Inés ; Nuccio , Filippo Dates : 25/03/2024 - 29/03/2024 Année de la rencontre : 2024 URL de la Rencontre : https://conferences.cirm-math.fr/2970.html
Données de citation
DOI : 10.24350/CIRM.V.20153503Citer cette vidéo: Kerjean, Marie (2024). Coq/Rocq tutorial: Ssreflect tactics and the MathComp library. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.20153503 URI : http://dx.doi.org/10.24350/CIRM.V.20153503 |
Imagette Video