lobste_rs feeds.twtxt.net Sat, Oct 25 2:51AM (7w ago) Learning by starting at the end: Writing a Proof in Lean Comments ⌘ Read more ⤋ Read More