drift-coder/hhu-adam--lean-i18npublic

i18n library for Lean.

Lean Updated 22 days ago 1 commits 14 stars
drift-coder|Mirror: hhu-adam/lean-i18n (⭐14)
22 days ago

About

i18n library for Lean.

Readme
14 stars
2 forks