Proof assistants in computer science research
By Xavier Leroy
J'ai créé cette vidéo à l'aide de l'application de montage de vidéos YouTube (http://www.youtube.com/editor).
By Xavier Leroy
J'ai créé cette vidéo à l'aide de l'application de montage de vidéos YouTube (http://www.youtube.com/editor).
By Georges Gonthier
By Vladimir Voevodsky
By Gérard Berry
By Gérard Berry
By Jean Louis Krivine
By Jean Louis Krivine