Hacker News
- Formalizing 100 Theorems https://www.cs.ru.nl/~freek/100/ 52 comments
- Formalizing 100 Theorems http://www.cs.ru.nl/~freek/100/ 25 comments
- A list of the top 100 greatest theorems and progress on formalizing them http://www.cs.ru.nl/~freek/100/ 53 comments math
Linking pages
- The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics—Stephen Wolfram Writings https://writings.stephenwolfram.com/2022/03/the-physicalization-of-metamathematics-and-its-implications-for-the-foundations-of-mathematics/ 98 comments
- The Empirical Metamathematics of Euclid and Beyond—Stephen Wolfram Writings https://writings.stephenwolfram.com/2020/09/the-empirical-metamathematics-of-euclid-and-beyond/ 1 comment
- tool_lists/verification_synthesis.md at main · johnyf/tool_lists · GitHub https://github.com/johnyf/tool_lists/blob/master/verification_synthesis.md 0 comments
- Josef Urban on Machine Learning and Automated Reasoning - Machine Intelligence Research Institute http://intelligence.org/2013/12/21/josef-urban-on-machine-learning-and-automated-reasoning/ 0 comments
- Math | Everything I know https://wiki.nikiv.dev/math/ 0 comments
Related searches:
Search whole site: site:cs.ru.nl
Search title: Formalizing 100 Theorems
See how to search.