i18n
i18n library for Lean.
of 9 packages depending on hhu-adam/i18n
1-9Sort by
Package Name
leanprover-community/Gameuses
v4.7.0
Natural Number Gamehhu-adam/Gameuses
v4.7.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 🇩🇪Trequetrum/Gameuses
v4.7.0
Make/Encode some basic logic puzzleskbuzzard/Gameuses
v4.7.0
An interactive game introducing the concept of a filter.NUS-Math-Formalization/Gameuses
v4.7.0
JadAbouHawili/Gameuses
v4.7.0
Knights and Knaves Educational Game in Lean 4Joonas-vonlerber/Gameuses
v4.6.0
AlexBrodbelt/Gameuses
v4.6.0
alma-n/Gameuses
v4.7.0