💎 Emily Riehl, gerenommeerd professor wiskunde aan de Johns Hopkins University: "Dit is wat ik denk dat de toekomst van de wiskunde zou kunnen zijn. We zouden domeinspecifieke formele talen kunnen hebben: voor algebraïsche geometrie, ook voor gecondenseerde wiskunde, ook voor differentiële geometrie, veel verschillende subvelden. En wiskundigen zullen snel leren om bewijzen te schrijven in nieuwe formele systemen dankzij de hulp van een computerproofassistent, Het zal hen vertellen wanneer ze iets correct of incorrect doen." Volledige conversatie met Math, Inc.’s @jessemhan en @jdlichtman binnenkort.