lobste_rs feeds.twtxt.net Sat, May 10 10:49 2025 (1y ago) A tool to verify estimates, II: a flexible proof assistant Comments ⌘ Read more ⤋ Read More