Lean me softly: A satire about a dystopian future for mathematics

(proofsandprompts.com) by markus_zhang | Nov 2, 2026 | 0 comments on HN