Mathematics
and Interactions
-
Videos linked to 03B35 Mechanization of proofs and logical operationsMore +
![Coq/Rocq tutorial: Ssreflect tactics and the MathComp library]()
01:34:11published on April 22, 2024Coq/Rocq tutorial: Ssreflect tactics and the MathComp library
By Marie Kerjean
![La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique]()
01:13:28published on May 11, 2017La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique
By Gilles Dowek
![Digitizing the Group Theory of the Odd Order Theorem]()
40:32published on April 22, 2014Digitizing the Group Theory of the Odd Order Theorem
By Georges Gonthier
![[1086] Developments in formal proofs](/media/cache/video_light/uploads/video/video-ce2a6dc8fc1735a3b803503c0f34563e.jpg)
