Formalizing 100 Theorems

Article URL: http://www.cs.ru.nl/~freek/100/

Comments URL: https://news.ycombinator.com/item?id=18513636

Points: 45

# Comments: 12

from Hacker News: Front Page https://ift.tt/1Ts2Eah
via