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 1 month ago 1 commits
surge-bot|Mirror: ColorlessBoy/sokonanoda-lang (⭐0)
about 1 month 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