Mathématiques
et Interactions
-
Les vidéos associées à 03B35 Mechanization of proofs and logical operationsVoir +
![Coq/Rocq tutorial: Ssreflect tactics and the MathComp library]()
01:34:11publiée le 22 avril 2024Coq/Rocq tutorial: Ssreflect tactics and the MathComp library
De Marie Kerjean
![La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique]()
01:13:28publiée le 11 mai 2017La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique
De Gilles Dowek
![[1086] Developments in formal proofs](/media/cache/video_light/uploads/video/video-ce2a6dc8fc1735a3b803503c0f34563e.jpg)
