Homotopy Type Theory : Univalent Foundations of Mathematics,
Posted: Wed Nov 20, 2019 1:41 pm
Will this succeed in changing the way mathematics is done?
The People's Economics Book
http://thepeopleseconomics.org/forum/
http://thepeopleseconomics.org/forum/viewtopic.php?f=21&t=240