Lean Grimoire
smilelamp
26 points
4 comments
November 12, 2026
Related Discussions
Found 5 related stories in 130.5ms across 12,324 title embeddings via pgvector HNSW
- Monads in Lean mfrw · 16 pts · November 11, 2026 · 49% similar
- A Critical Look at Lean4 amanverasia · 15 pts · October 12, 2026 · 48% similar
- Palomar: A registry of Lean verified mathematics matt_d · 57 pts · August 19, 2026 · 46% similar
- Terry Pratchett's Study ColinWright · 120 pts · November 07, 2026 · 45% similar
- Illustration Beyond Proof smilelamp · 52 pts · October 11, 2026 · 44% similar
Discussion Highlights (1 comments)
torben-friis
What a mess of an educational game. Sorry to be so negative, but one can barely parse the LLMish introduction, and thosebcontrols seem like a half finished personal obsidian document. Kind of weird coming from tao, I remember his math notes being quite approachable and well written.