lobste_rs feeds.twtxt.net Fri, Oct 10 11:07PM (4w ago) Automated Lean Proofs for Every Type Comments ⌘ Read more ⤋ Read More