No results found

Cli

A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Displaying 1-20 of 25 versions of Cli
Sort by
  1. Not a part of any version track.
    d835296
    v4.16.0-rc2
    7 days ago
    Released on January 14, 2025 at 2:34:32AM
    Commit d835296 builds on its recent leanprover/lean4:v4.16.0-rc2
    v4.16.0-rc2
    1.5 MB Build archive size: 1507889 bytes.
  2. Not a part of any version track.
    d835296
    v4.16.0-rc2
    7 days ago
    Released on January 14, 2025 at 2:34:32AM
    Commit d835296 builds on its recent leanprover/lean4:v4.16.0-rc2
    v4.16.0-rc2
    1.5 MB Build archive size: 1507889 bytes.
  3. Not a part of any version track.
    8314a3c
    v4.15.0
    7 days ago
    Released on January 14, 2025 at 1:38:14AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.15.0
  4. Not a part of any version track.
    255c042
    v4.14.0
    7 days ago
    Released on January 14, 2025 at 1:36:36AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.14.0
  5. Not a part of any version track.
    0c8ea32
    v2.2.0-lv4.14.0-rc1
    2 months ago
    Released on November 5, 2024 at 9:25:12AM
    Commit 0c8ea32 builds on its old leanprover/lean4:v4.14.0-rc1
    v4.14.0-rc1
    1.5 MB Build archive size: 1503682 bytes.
  6. Not a part of any version track.
    2cf1030
    v2.2.0-lv4.9.0
    6 months ago
    Released on July 10, 2024 at 1:04:59PM
    Commit 2cf1030 builds on its old leanprover/lean4:v4.9.0
    v4.9.0
    1.5 MB Build archive size: 1451552 bytes.
  7. Not a part of any version track.
    a115660
    v2.2.0-lv4.7.0
    9 months ago
    Released on April 25, 2024 at 12:57:18PM
    Commit a115660 builds on its old leanprover/lean4:v4.7.0
    v4.7.0
  8. Not a part of any version track.
    2245a1d
    v2.2.0-lv4.0.0
    a year ago
    Released on September 21, 2023 at 8:52:36AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.0.0
  9. Not a part of any version track.
    21dac2e
    v2.2.0-lnightly-2023-08-23
    a year ago
    Released on August 27, 2023 at 9:43:23AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2023-08-23
  10. Not a part of any version track.
    5a858c3
    v2.1.0-lnightly-2022-11-20
    2 years ago
    Released on November 20, 2022 at 3:16:11PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2022-11-20
  11. Not a part of any version track.
    cf98018
    v2.1.0-lnightly-2022-10-31
    2 years ago
    Released on November 1, 2022 at 9:25:17PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2022-10-31
  12. Not a part of any version track.
    b88b0ab
    v2.0.0-lnightly-2022-10-20
    2 years ago
    Released on October 20, 2022 at 12:11:51PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2022-10-20
  13. Not a part of any version track.
    80b783a
    v2.0.0-lnightly-2022-09-28
    2 years ago
    Released on September 28, 2022 at 4:55:07PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2022-09-28
  14. Not a part of any version track.
    1f844d9
    v2.0.0-lnightly-2022-09-01
    2 years ago
    Released on September 1, 2022 at 3:59:13PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2022-09-01
  15. Not a part of any version track.
    8fa311b
    v2.0.0-lnightly-2022-08-30
    2 years ago
    Released on August 30, 2022 at 2:26:43PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2022-08-30
  16. Not a part of any version track.
    634cd9b
    v2.0.0-lv4.0.0-m5
    2 years ago
    Released on August 11, 2022 at 5:25:20PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.0.0-m5
  17. Not a part of any version track.
    4196bfa
    v2.0.0-lnightly-2022-07-10
    2 years ago
    Released on August 7, 2022 at 4:25:06PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2022-07-10
  18. Not a part of any version track.
    e0b209c
    v1.0.1-lv4.0.0-m4
    2 years ago
    Released on August 4, 2022 at 5:13:40PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.0.0-m4
  19. Not a part of any version track.
    112b35f
    v1.2.0-lnightly-2022-07-10
    3 years ago
    Released on July 17, 2022 at 9:57:37AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2022-07-10
  20. Not a part of any version track.
    e70141d
    v1.1.0-lnightly-2022-07-10
    3 years ago
    Released on July 10, 2022 at 12:24:52PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2022-07-10