Mathematics
and Interactions
-
Videos linked to Coq proof assistantMore +
![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
![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)
