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
In the continuing saga of surprising things users do: This post over on LinkedIn features a custom made #LeanLang environment intended to replace a Jupyter Notebook, because, you know - why not? 👀
https://www.linkedin.com/posts/philip-zucker-4520ba90_doing-lean-dirty-lean-as-a-jupyter-notebook-activity-7348049898967056384--9V-
(With apologies to @jupyter.org ❤️)
2025-07-08T21:43:11.141Z