Formalizing 100 Theorems: https://www.cs.ru.nl/~freek/100/
Freek Wiedijk uses a rather arbitrary collection of 100 favorite theorems from some 1999 web page as a benchmark set for the progress of automatic proof assistants. I'm sad that Pick's theorem has seen so little love.
> Fermat's Last Theorem
Yeah, that's gonna take a while 😄
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!