hacker-news feeds.twtxt.net Fri, Jan 24 18:19 (12w ago) Anatomy of a Formal Proof Comments ⌘ Read more ⤋ Read More Yarn