▲ 1 pointsLearning by starting at the end: Writing a Proof in Leaninterjectedfuture.comby birdculture·9mo ago·0 comments·view on hn ↗