Proof assistants in computer science research
De Xavier Leroy
Apparaît dans la 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).
![[1246] The model theory of perfectoid fields](/media/cache/video_light/uploads/video/SeminaireBourbaki.png)
