hhu-adami18n

i18n library for Lean.
Displaying 1-17 of 17 versions of i18n
Sort by
  1. Not a part of any version track.
    7dc27b8
    v4.21.0
    3 days ago
    Released on July 14, 2025 at 6:17:06PM
    Commit 7dc27b8 builds on its recent leanprover/lean4:v4.21.0
    v4.21.0
    53.3 MB Build archive size: 53287576 bytes.
  2. Not a part of any version track.
    7dc27b8
    v4.21.0
    3 days ago
    Released on July 14, 2025 at 6:17:06PM
    Commit 7dc27b8 builds on its recent leanprover/lean4:v4.21.0
    v4.21.0
    53.3 MB Build archive size: 53287576 bytes.
  3. Not a part of any version track.
    4778c95
    v4.20.0
    3 days ago
    Released on July 14, 2025 at 6:13:52PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.20.0
  4. Not a part of any version track.
    ed3efa9
    v4.19.0
    3 days ago
    Released on July 14, 2025 at 6:09:49PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.19.0
  5. Not a part of any version track.
    e71ec8a
    v4.18.0
    3 days ago
    Released on July 14, 2025 at 6:07:22PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.18.0
  6. 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: 38579960 bytes.
  7. 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
  8. 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.
  9. 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.
  10. 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.
  11. 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
  12. 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
  13. 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
  14. 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.
  15. 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
  16. 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
  17. 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