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: www.linkedin.com/posts/shrey-...