This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Lean Focused Research Organization
lean-lang.org
did:plc:devnu4zs2viutk26clxykpbb
Did you know the Info View in #LeanLang's #VSCode extension updates in real-time as you write proofs? Click on any part of your code to see the current proof state, goals, and hypotheses at that exact point.
Learn more about the Lean VS Code extension: https://github.com/leanprover/vscode-lean4/blob/master/vscode-lean4/manual/manual.md
2025-10-06T17:52:25.060Z