How to Formalize All of Mathematics
By practal · 2026-10-16 · 64 points · 55 comments
https://xenaproject.wordpress.com/2026/10/16/how-to-formalize-all-of-mathematics/
By practal · 64 points · 55 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews