i18n
i18n library for Lean.
of 8 packages depending on hhu-adam/i18n
1-8Sort by
Package Name
leanprover-community/Gameuses
v4.7.0
Natural Number Gamehhu-adam/Gameuses
v4.7.0
The standard template to create a lean gameTrequetrum/Gameuses
v4.7.0
Make/Encode some basic logic puzzlesNUS-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