Archives du mot-clé Alexandre Grothendieck

Blog « Mathematics without apologies » : le programme « Univalent foundations of mathematics »

https://meditationesdeprimaphilosophia.wordpress.com/2016/02/05/mathematica-without-apologies-le-programme-univalent-foundations/