Formalizing 100 Theorems: 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.

Follow

@11011110

> Fermat's Last Theorem

Yeah, that's gonna take a while 😄

Sign in to participate in the conversation
Mastodon

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