hacker-news feeds.twtxt.net Fri, Jan 10 12:21 (14w ago) Who Can Understand the Proof? A Window on Formalized Mathematics Comments ⌘ Read more ⤋ Read More