1 heure et +, Conférence, English, Expert, Mathématiques, Video Semantics of proofs and certified mathematics 29 March 2016 antoinevillette2013 16 vidéos.