Formalizing 100 Theorems


New top story on Hacker News: Formalizing 100 Theorems