discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Formalizing 100 Theorems
https://www.cs.ru.nl/~freek/100/
52 comments
2/11/2023
Formalizing 100 Theorems
http://www.cs.ru.nl/~freek/100/
25 comments
23/11/2018
Formalizing 100 theorems in Coq
https://madiot.fr/coq100/
14 comments
6/10/2018
Reddit
A list of the top 100 greatest theorems and progress on formalizing them
http://www.cs.ru.nl/~freek/100/
53 comments
5/5/2020
math
Only 7 left from this list of 100 popular theorems that have yet to be formalized!
http://www.cs.ru.nl/f.wiedijk/100/
40 comments
30/8/2018
math