No results found

i18n

i18n library for Lean.
Displaying 1-7 of 7 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. NUS-Math-Formalization/Gameusesv4.7.0

  5. AlexBrodbelt/Gameusesv4.6.0

  6. alma-n/Gameusesv4.7.0

  7. Joonas-vonlerber/Gameusesv4.6.0