i18n
i18n library for Lean.
Displaying 1-20 of 31 versions of i18n
Sort by
Date
- Not a part of any version track.
83015d7v4.35.04 days agoReleased on October 22, 2026 at 1:03:40AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.35.0 - Not a part of any version track.
83015d7v4.35.04 days agoReleased on October 22, 2026 at 1:03:40AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.35.0 - Not a part of any version track.
9fd2893v4.34.04 days agoReleased on October 22, 2026 at 1:01:43AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.34.0 - Not a part of any version track.
f788a30v4.33.02 months agoReleased on August 21, 2026 at 9:40:49PMCommit f788a30 builds on its old leanprover/lean4:v4.33.1v4.33.160.2 MB Build archive size: 60239075 bytes. - Not a part of any version track.
f788a30v4.33.12 months agoReleased on August 21, 2026 at 9:40:49PMCommit f788a30 builds on its old leanprover/lean4:v4.33.1v4.33.160.2 MB Build archive size: 60239075 bytes. - Not a part of any version track.
f1748a4v4.32.02 months agoReleased on August 21, 2026 at 9:37:32PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.33.1 - Not a part of any version track.
1a99b00v4.31.04 months agoReleased on June 27, 2026 at 12:18:45PMCommit 1a99b00 builds on its old leanprover/lean4:v4.31.0v4.31.059.2 MB Build archive size: 59181306 bytes. - Not a part of any version track.
034637av4.29.06 months agoReleased on April 21, 2026 at 2:13:26AMCommit 034637a builds on its old leanprover/lean4:v4.29.0v4.29.068.2 MB Build archive size: 68199493 bytes. - Not a part of any version track.
4b156d9v4.28.08 months agoReleased on March 2, 2026 at 10:19:27AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.28.0 - Not a part of any version track.
a97e9dfv4.27.08 months agoReleased on March 2, 2026 at 10:12:59AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.27.0 - Not a part of any version track.
4219ce9v4.26.010 months agoReleased on December 22, 2025 at 11:31:22AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.26.0 - Not a part of any version track.
e4349c7v4.24.1a year agoReleased on November 30, 2025 at 2:46:16PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.1 - Not a part of any version track.
9bd1f98v4.25.2a year agoReleased on November 30, 2025 at 2:46:16PMCommit 9bd1f98 builds on its old leanprover/lean4:v4.25.2v4.25.263.7 MB Build archive size: 63696410 bytes. - Not a part of any version track.
884260cv4.24.0a year 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.0a year 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.0a year 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.0a year 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.0a year 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.0a year 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.0a year 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