Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Should Type Theory (HoTT) Replace (ZFC) Set Theory as the Foundation of Math?
link.springer.com
2 points
westurner
a year ago
4 comments
Loading...