Lean Focused Research Organization
@lean-lang.org
Supporting the Formal Mathematics revolution
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/...
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/...
Lean Programming Language
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
lean-lang.org
October 10, 2025 at 10:31 PM
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/...
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/...
FYI: The tutorials were recorded at @simonsfoundation.org Lean Workshop for Mathematics and Physical Sciences. Read more here: leanprover-community.github.io/blog/posts/s...
September 24, 2025 at 7:11 PM
FYI: The tutorials were recorded at @simonsfoundation.org Lean Workshop for Mathematics and Physical Sciences. Read more here: leanprover-community.github.io/blog/posts/s...