The People's Economics

The People's Economics Book
http://thepeopleseconomics.org/forum/

Homotopy Type Theory : Univalent Foundations of Mathematics,

http://thepeopleseconomics.org/forum/viewtopic.php?f=21&t=240

Page 1 of 1

Homotopy Type Theory : Univalent Foundations of Mathematics,

Posted: Wed Nov 20, 2019 1:41 pm
by system3
Will this succeed in changing the way mathematics is done?
All times are UTC
Page 1 of 1
Powered by phpBB® Forum Software © phpBB Limited
https://www.phpbb.com/