hhu-adami18n

i18n library for Lean.
Displaying 1-13 of 13 versions of i18n
Sort by
  1. Not a part of any version track.
    4c7ecf7
    v4.17.0
    4 months ago
    Released on March 4, 2025 at 5:36:26PM
    Commit 4c7ecf7 builds on its old leanprover/lean4:v4.17.0
    v4.17.0
    38.6 MB Build archive size: 38581574 bytes.
  2. Not a part of any version track.
    4c7ecf7
    v4.17.0
    4 months ago
    Released on March 4, 2025 at 5:36:26PM
    Commit 4c7ecf7 builds on its old leanprover/lean4:v4.17.0
    v4.17.0
    38.6 MB Build archive size: 38581574 bytes.
  3. Not a part of any version track.
    3528e7f
    v4.16.0
    4 months ago
    Released on March 4, 2025 at 5:34:55PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.16.0
  4. Not a part of any version track.
    cf638d2
    v4.15.0
    6 months ago
    Released on January 26, 2025 at 1:20:49PM
    Commit cf638d2 builds on its old leanprover/lean4:v4.15.0
    v4.15.0
    35.8 MB Build archive size: 35804910 bytes.
  5. Not a part of any version track.
    368df85
    v4.14.0
    7 months ago
    Released on December 22, 2024 at 10:27:24AM
    Commit 368df85 builds on its old leanprover/lean4:v4.14.0
    v4.14.0
    32.3 MB Build archive size: 32277818 bytes.
  6. Not a part of any version track.
    515f836
    v4.13.0
    8 months 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: 31194256 bytes.
  7. Not a part of any version track.
    681d556
    v4.12.0
    8 months 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
  8. Not a part of any version track.
    4de63c7
    v4.11.0
    10 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
  9. Not a part of any version track.
    cdc561e
    v4.10.0
    10 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
  10. Not a part of any version track.
    6e9f9e2
    v4.9.0
    a year 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.
  11. Not a part of any version track.
    5158ce6
    v4.8.0
    a year 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
  12. Not a part of any version track.
    7550f08
    v4.7.0
    a year 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
  13. Not a part of any version track.
    c5b84fe
    v4.6.0
    a year 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