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

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

    The standard template to create a lean game
  3. Trequetrum/Gameusesv4.7.0

    Make/Encode some basic logic puzzles
  4. JadAbouHawili/Gameusesv4.7.0

    Knights and Knaves Educational Game in Lean 4
  5. alma-n/Gameusesv4.7.0