i18n
i18n library for Lean.
Displaying 1-19 of 19 versions of i18n
Sort by
Date
- Not a part of any version track.
43c4e889 days agoReleased on October 24, 2025 at 6:11:09PMCommit 43c4e88 builds on its recent leanprover/lean4:v4.24.0v4.24.059.0 MB Build archive size: 59010784 bytes. - Not a part of any version track.
884260cv4.24.010 days agoReleased on October 23, 2025 at 7:21:03PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.0 - Not a part of any version track.
c293094v4.23.02 months agoReleased on September 15, 2025 at 10:22:52PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.23.0 - Not a part of any version track.
ea54e8cv4.22.03 months agoReleased on August 15, 2025 at 6:04:33PMCommit ea54e8c builds on its old leanprover/lean4:v4.22.0v4.22.047.6 MB Build archive size: 47573589 bytes. - Not a part of any version track.
443d043v4.21.03 months agoReleased on August 9, 2025 at 12:43:12AMCommit 443d043 builds on its old leanprover/lean4:v4.21.0v4.21.053.3 MB Build archive size: 53290941 bytes. - Not a part of any version track.
4778c95v4.20.04 months 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.
ed3efa9v4.19.04 months 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.
e71ec8av4.18.04 months 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.
4c7ecf7v4.17.08 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.
cf638d2v4.15.09 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.
368df85v4.14.010 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.
515f836v4.13.0a year 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.
681d556v4.12.0a year 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.
4de63c7v4.11.0a year 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.
cdc561ev4.10.0a year 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.
6e9f9e2v4.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.
5158ce6v4.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.
7550f08v4.7.02 years 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.
c5b84fev4.6.02 years 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