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