Self-contained Lean 4 teaching language — a real kernel grades every proof; the VS Code extension bundles everything; agents get skills + JSON events.
Rust Updated about 2 months ago 1 commits
surge-bot|Mirror: ColorlessBoy/sokonanoda-lang (⭐0)
about 2 months agoAbout
Self-contained Lean 4 teaching language — a real kernel grades every proof; the VS Code extension bundles everything; agents get skills + JSON events.
Readme