No results found

i18n

i18n library for Lean.
Displaying 1-9 of 9 versions of i18n
Sort by
  1. Not a part of any version track.
    515f836
    v4.13.0
    14 days ago
    Released on November 25, 2024 at 11:45:08AM
    Commit 515f836 builds on its old leanprover/lean4:v4.13.0
    v4.13.0
    31.2 MB Build archive size: 31194349 bytes.
  2. Not a part of any version track.
    515f836
    v4.13.0
    14 days ago
    Released on November 25, 2024 at 11:45:08AM
    Commit 515f836 builds on its old leanprover/lean4:v4.13.0
    v4.13.0
    31.2 MB Build archive size: 31194349 bytes.
  3. Not a part of any version track.
    681d556
    v4.12.0
    14 days ago
    Released on November 25, 2024 at 11:43:51AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.12.0
  4. Not a part of any version track.
    4de63c7
    v4.11.0
    3 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
  5. Not a part of any version track.
    cdc561e
    v4.10.0
    3 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
  6. 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.
  7. 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
  8. Not a part of any version track.
    7550f08
    v4.7.0
    8 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
  9. 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