Formalizing 100 Theorems:

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 😄

Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!