- 💡Did you know you can run #LeanLang in your browser without installing anything? The Lean Playground provides a full environment for experimentation, learning, and for sharing code snippets with others. Try it out! live.lean-lang.org
- Just to be clear, this is not running lean, the engine, in the browser. It's forwarding the code to a server where Lean runs. BTW, can lean 4 run on the browser via WASM? Is there any plan for it?
- Yes! You are absolutely correct - oversimplification on my part! 😅 No near-term plans for WASM, but it's always a possibility for much further down the road. Check out our most recent roadmap to see what we're focusing on presently: lean-lang.org/fro/roadmap/...
Oct 10, 2025 22:31
