No results found

Cli

A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Displaying 1-20 of 22 versions of Cli
Sort by
  1. Not a part of any version track.
    0c8ea32
    v2.2.0-lv4.14.0-rc1
    a month ago
    Released on November 5, 2024 at 9:25:12AM
    Commit 0c8ea32 builds on its recent leanprover/lean4:v4.14.0-rc1
    v4.14.0-rc1
    1.5 MB Build archive size: 1499923 bytes.
  2. Not a part of any version track.
    0c8ea32
    v2.2.0-lv4.14.0-rc1
    a month ago
    Released on November 5, 2024 at 9:25:12AM
    Commit 0c8ea32 builds on its recent leanprover/lean4:v4.14.0-rc1
    v4.14.0-rc1
    1.5 MB Build archive size: 1499923 bytes.
  3. Not a part of any version track.
    2cf1030
    v2.2.0-lv4.9.0
    5 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.
  4. Not a part of any version track.
    a115660
    v2.2.0-lv4.7.0
    8 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. Not a part of any version track.
    112b35f
    v1.2.0-lnightly-2022-07-10
    2 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
  17. Not a part of any version track.
    e70141d
    v1.1.0-lnightly-2022-07-10
    2 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
  18. Not a part of any version track.
    6036009
    v1.1.0-lnightly-2022-07-03
    2 years ago
    Released on July 6, 2022 at 9:12:56PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2022-07-03
  19. Not a part of any version track.
    37f287d
    v1.0.0-lnightly-2022-07-03
    2 years ago
    Released on July 3, 2022 at 10:12:26AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2022-07-03
  20. Not a part of any version track.
    f7590ce
    v1.0.0-lnightly-2022-06-29
    2 years ago
    Released on June 29, 2022 at 9:48:29PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2022-06-29