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: Google [Bot] and 13 guests