Lean Grimoire

[flagged]

[dead]

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.