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