💎 Emily Riehl, uznávaná profesorka matematiky na Johns Hopkins University: "Takto si myslím, že by mohla být budoucnost matematiky. Můžeme mít doménově specifické formální jazyky: pro algebraickou geometrii, také pro kondenzovanou matematiku, také pro diferenciální geometrii, mnoho různých podoborů. A matematici se díky počítačovému asistentovi důkazů budou moci rychle naučit psát důkazy v nových formálních systémech, Řekne jim, jestli něco dělají správně nebo špatně." Brzy připojíme @jessemhan a @jdlichtman od Math, Inc.