No results found

i18n

i18n library for Lean.
Displaying 1-7 of 7 versions of i18n
Sort by
  1. Not a part of any version track.
    5ed8ee2
    2 months ago
    Released on September 12, 2024 at 12:16:53PM
    Commit 5ed8ee2 builds on its old leanprover/lean4:v4.12.0-rc1
    v4.12.0-rc1
    30.9 MB Build archive size: 30914359 bytes.
  2. Not a part of any version track.
    4de63c7
    v4.11.0
    2 months ago
    Released on September 12, 2024 at 10:08:43AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.11.0
  3. Not a part of any version track.
    cdc561e
    v4.10.0
    2 months ago
    Released on September 12, 2024 at 10:07:22AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.10.0
  4. Not a part of any version track.
    6e9f9e2
    v4.9.0
    5 months ago
    Released on July 5, 2024 at 12:36:25PM
    Commit 6e9f9e2 builds on its old leanprover/lean4:v4.9.0
    v4.9.0
    28.5 MB Build archive size: 28528560 bytes.
  5. Not a part of any version track.
    5158ce6
    v4.8.0
    6 months ago
    Released on June 6, 2024 at 11:31:07PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.8.0
  6. Not a part of any version track.
    7550f08
    v4.7.0
    7 months ago
    Released on April 10, 2024 at 11:25:55AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.7.0
  7. Not a part of any version track.
    c5b84fe
    v4.6.0
    9 months ago
    Released on February 29, 2024 at 10:58:55AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.6.0