Monads in Lean
mfrw
16 points
1 comment
November 11, 2026
Related Discussions
Found 5 related stories in 125.4ms across 12,324 title embeddings via pgvector HNSW
- Are We Stuck with Lean? jjgreen · 135 pts · July 30, 2026 · 53% similar
- A Critical Look at Lean4 amanverasia · 15 pts · October 12, 2026 · 53% similar
- Classification of Finite Simple Groups Formalized in Lean pfdietz · 193 pts · October 27, 2026 · 51% similar
- The Stacks Project, Formalized in Lean namanbnsl · 79 pts · November 05, 2026 · 50% similar
- Lean Grimoire smilelamp · 26 pts · November 12, 2026 · 49% similar
Discussion Highlights (1 comments)
fleshers
This is a solid intro. I had no idea Lean was so Haskell-y and readable/practical in this way! For some reason I assumed it was just a clunky abstruse prover IDE type of thing, I guess I conflated it with older coq/Rocq and all the gigantic illegible ai math papers in recent news