i18n
i18n library for Lean.
Displaying 1-10 of 10 versions of i18n
Sort by
Date
- Not a part of any version track.
368df85
- Not a part of any version track.
368df85
- Not a part of any version track.
515f836
- Not a part of any version track.
681d556
v4.12.0a month agoReleased on November 25, 2024 at 11:43:51AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.12.0 - Not a part of any version track.
4de63c7
v4.11.03 months agoReleased on September 12, 2024 at 10:08:43AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.11.0 - Not a part of any version track.
cdc561e
v4.10.03 months agoReleased on September 12, 2024 at 10:07:22AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.10.0 - Not a part of any version track.
6e9f9e2
- Not a part of any version track.
5158ce6
v4.8.07 months agoReleased on June 6, 2024 at 11:31:07PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.8.0 - Not a part of any version track.
7550f08
v4.7.08 months agoReleased on April 10, 2024 at 11:25:55AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.7.0 - Not a part of any version track.
c5b84fe
v4.6.010 months agoReleased on February 29, 2024 at 10:58:55AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.6.0