Displaying 1-11 of 11 packages depending on hhu-adam/i18n
Sort by
  1. leanprover-community/Gameusesv4.22.0

    Natural Number Game
  2. hhu-adam/Gameusesv4.22.0

    A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪
  3. Trequetrum/Gameusesv4.7.0

    Make/Encode some basic logic puzzles
  4. AlexKontorovich/Gameusesv4.22.0

    RealAnalysisGame
  5. kbuzzard/Gameusesv4.7.0

    An interactive game introducing the concept of a filter.
  6. JadAbouHawili/Gameusesv4.7.0

    Knights and Knaves Educational Game in Lean 4
  7. math-xmum/Gameusesv4.7.0

    Abstract Algebra Game
  8. alma-n/Gameusesv4.7.0