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
Just saw this post on LinkedIn about a new #DiscreteMath game on the #LeanLang Game Server. The author, Shrey Vivek, won a "Best Poster" award at the SPMS Odyssey Research Symposium. 🎉
The Discrete Math game: adam.math.hhu.de#/g/shreyvive...
The LinkedIn post: https://www.linkedin.com/posts/shrey-vivek-442802321_lean4-math-spms-activity-7358800644494827523-ngyK
https://adam.math.hhu.de/#/g/shreyvivek/gamemaker
2025-08-06T17:51:21.301Z