Mathematics
and Interactions
-
Videos linked to Proof assistantMore +
![Towards autoformalization of textbook mathematics with natural proof checking]()
58:14published on December 15, 2025Towards autoformalization of textbook mathematics with natural proof checking
By De Lon Adrian
![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
