New top story on Hacker News: Formalizing 100 Theorems Posted By: Rushan Skywalker 12:08 AM Leave a Reply Formalizing 100 Theorems 45 by espeed | 12 comments on Hacker News. Tweet Share Share Share Share
0 comments: