Homotopy Type Theory : Univalent Foundations of Mathematics,
Homotopy Type Theory : Univalent Foundations of Mathematics,
Will this succeed in changing the way mathematics is done?
Who is online
Users browsing this forum: No registered users and 8 guests