i18n
i18n library for Lean.
Displaying 1-17 of 17 versions of i18n
Sort by
Date
- Not a part of any version track.
7dc27b8
v4.21.03 days agoReleased on July 14, 2025 at 6:17:06PMCommit 7dc27b8 builds on its recent leanprover/lean4:v4.21.0v4.21.053.3 MB Build archive size: 53287576 bytes. - Not a part of any version track.
7dc27b8
v4.21.03 days agoReleased on July 14, 2025 at 6:17:06PMCommit 7dc27b8 builds on its recent leanprover/lean4:v4.21.0v4.21.053.3 MB Build archive size: 53287576 bytes. - Not a part of any version track.
4778c95
v4.20.03 days agoReleased on July 14, 2025 at 6:13:52PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.20.0 - Not a part of any version track.
ed3efa9
v4.19.03 days agoReleased on July 14, 2025 at 6:09:49PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.19.0 - Not a part of any version track.
e71ec8a
v4.18.03 days agoReleased on July 14, 2025 at 6:07:22PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.18.0 - Not a part of any version track.
4c7ecf7
v4.17.04 months agoReleased on March 4, 2025 at 5:36:26PMCommit 4c7ecf7 builds on its old leanprover/lean4:v4.17.0v4.17.038.6 MB Build archive size: 38579960 bytes. - Not a part of any version track.
3528e7f
v4.16.04 months agoReleased on March 4, 2025 at 5:34:55PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.16.0 - Not a part of any version track.
cf638d2
v4.15.06 months agoReleased on January 26, 2025 at 1:20:49PMCommit cf638d2 builds on its old leanprover/lean4:v4.15.0v4.15.035.8 MB Build archive size: 35804910 bytes. - Not a part of any version track.
368df85
v4.14.07 months agoReleased on December 22, 2024 at 10:27:24AMCommit 368df85 builds on its old leanprover/lean4:v4.14.0v4.14.032.3 MB Build archive size: 32277818 bytes. - Not a part of any version track.
515f836
v4.13.08 months agoReleased on November 25, 2024 at 11:45:08AMCommit 515f836 builds on its old leanprover/lean4:v4.13.0v4.13.031.2 MB Build archive size: 31194256 bytes. - Not a part of any version track.
681d556
v4.12.08 months 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.010 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.010 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
v4.9.0a year agoReleased on July 5, 2024 at 12:36:25PMCommit 6e9f9e2 builds on its old leanprover/lean4:v4.9.0v4.9.028.5 MB Build archive size: 28528560 bytes. - Not a part of any version track.
5158ce6
v4.8.0a year 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.0a year 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.0a year 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