GitHub repository: GihanMarasinghaOrg/modern-maths-game4
Primary language: Lean
Created: 2024-07-08T19:36:30Z
Description: Modern Mathematics Game in Lean 4