Tech
How to Formalize All of Mathematics
Article URL: https://xenaproject.wordpress.com/2026/10/16/how-to-formalize-all-of-mathematics/ Comments URL: https://news.ycombinator.com/item?id=50118512 Points: 2 #…
Article URL: https://arxiv.org/abs/2611.04213
Comments URL: https://news.ycombinator.com/item?id=50370713
Points: 1
# Comments: 0
Discussion (0)
No comments yet. Start the conversation!