hhu-adami18n

i18n library for Lean.
Displaying 1-12 of 12 packages depending on hhu-adam/i18n
Sort by

  1. leanprover-community/Gameusesv4.23.0

    Natural Number Game

  2. AlexKontorovich/Gameusesv4.22.0

    RealAnalysisGame

  3. hhu-adam/Gameusesv4.23.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 🇩🇪

  4. Trequetrum/Gameusesv4.7.0

    Make/Encode some basic logic puzzles

  5. emilyriehl/Gameusesv4.23.0

    A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.

  6. kbuzzard/Gameusesv4.7.0

    An interactive game introducing the concept of a filter.

  7. NUS-Math-Formalization/Gameusesv4.7.0

  8. math-xmum/Gameusesv4.7.0

    Abstract Algebra Game

  9. JadAbouHawili/Gameusesv4.23.0

    Knights and Knaves Educational Game in Lean 4

  10. alma-n/Gameusesv4.7.0

  11. AlexBrodbelt/Gameusesv4.6.0

  12. Joonas-vonlerber/Gameusesv4.6.0