Session du 21 juin 2014 - Exposés 1085 à 1088
Appears in collection : Séminaire Bourbaki
By Thierry Coquand
By Thomas C. Hales
By Jacques Smulevici
By Alain Valette
By Marie Kerjean
By Dean Baskin
By Jared Wunsch
By Eleni-Alexandra Kontou
By Sébastien Labbé
By Ronnie Pavlov
By Felipe García-Ramos
By Tamara Kucherenko
By Bryna Kra