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