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
ICYMI: A great summary on the #LeanLang Community Blog of the @simonsfoundation.org 2025 MPS (Math and Phys Sciences) Workshop on #LeanProver.
The post includes links to lecture slides, videos, and a list of proposed projects and participants!
https://leanprover-community.github.io/blog/posts/simons-lean-workshop/
2025-09-18T19:52:20.207Z