Coq/Rocq tutorial: Ssreflect tactics and the MathComp library
By Marie Kerjean
Creative telescoping for D-finite functions - Lecture 1
By Christoph Koutschan
Creative telescoping for D-finite functions - Lecture 2
By Christoph Koutschan
By Xavier Leroy
Appears in collection : 2014 - T2 - Semantics of proofs and certified mathematics
J'ai créé cette vidéo à l'aide de l'application de montage de vidéos YouTube (http://www.youtube.com/editor).