This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Towards Data Science
towardsdatascience.com
did:plc:zcumilxztfgl3var46mgznnt
Proof assistants are changing how programmers interact with mathematics. Ronen Lahat explores Lean through the perspective of software engineering and machine learning.
https://towardsdatascience.com/introduction-to-lean-for-programmers/
2026-06-10T16:23:02.566Z