lean-dojoLeanCopilot

LLMs as Copilots for Theorem Proving in Lean
Displaying 1-20 of 43 versions of LeanCopilot
Sort by
  1. Not a part of any version track.
    b0c844f
    18 days ago
    Released on October 15, 2025 at 8:37:57PM
    Commit b0c844f builds on its recent leanprover/lean4:v4.24.0
    v4.24.0
    111.4 MB Build archive size: 111405840 bytes.
  2. Not a part of any version track.
    750936b
    v4.24.0
    19 days ago
    Released on October 14, 2025 at 8:59:28PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.24.0
  3. Not a part of any version track.
    c4c11b7
    v4.23.0
    2 months ago
    Released on September 15, 2025 at 2:32:54AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.23.0
  4. Not a part of any version track.
    2244f0a
    v4.22.0
    3 months ago
    Released on August 14, 2025 at 8:48:53AM
    Commit 2244f0a builds on its old leanprover/lean4:v4.23.0-rc1
    v4.23.0-rc1
    108.5 MB Build archive size: 108473157 bytes.
  5. Not a part of any version track.
    d893c2f
    v4.21.0
    4 months ago
    Released on July 1, 2025 at 3:46:35AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.21.0
  6. Not a part of any version track.
    10d63fc
    v4.20.0
    5 months ago
    Released on June 6, 2025 at 5:20:09AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.20.0
  7. Not a part of any version track.
    9a2ba00
    v4.19.0
    6 months ago
    Released on May 2, 2025 at 9:32:07PM
    Commit 9a2ba00 builds on its old leanprover/lean4:v4.19.0
    v4.19.0
    107.9 MB Build archive size: 107933442 bytes.
  8. Not a part of any version track.
    d09e8cb
    v4.18.0
    7 months ago
    Released on April 9, 2025 at 9:43:43AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.18.0
  9. Not a part of any version track.
    99fce17
    v4.17.0
    8 months ago
    Released on March 3, 2025 at 10:34:37PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.17.0
  10. Not a part of any version track.
    ebcaec4
    v4.16.0
    9 months ago
    Released on February 3, 2025 at 10:42:21AM
    Commit ebcaec4 builds on its old leanprover/lean4:v4.16.0
    v4.16.0
    106.4 MB Build archive size: 106369417 bytes.
  11. Not a part of any version track.
    0ce6df3
    v4.15.0
    10 months ago
    Released on January 4, 2025 at 8:28:24AM
    Commit 0ce6df3 builds on its old leanprover/lean4:v4.15.0
    v4.15.0
    106.9 MB Build archive size: 106851986 bytes.
  12. Not a part of any version track.
    77fdb81
    v4.14.0
    10 months ago
    Released on December 25, 2024 at 6:44:45PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.14.0
  13. Not a part of any version track.
    880f820
    v1.6.0
    a year ago
    Released on September 2, 2024 at 9:55:15AM
    Commit 880f820 builds on its old leanprover/lean4:v4.11.0
    v4.11.0
    103.2 MB Build archive size: 103175288 bytes.
  14. Not a part of any version track.
    8c2e4f8
    v1.5.3
    a year ago
    Released on September 1, 2024 at 8:11:27AM
    Commit 8c2e4f8 builds on its old leanprover/lean4:v4.11.0-rc3
    v4.11.0-rc3
    102.3 MB Build archive size: 102264031 bytes.
  15. Not a part of any version track.
    deac9f1
    v1.5.2
    a year ago
    Released on August 29, 2024 at 11:47:47PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.11.0-rc2
  16. Not a part of any version track.
    68c6bfe
    v1.5.1
    a year ago
    Released on August 14, 2024 at 11:55:41PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.11.0-rc1
  17. Not a part of any version track.
    71b338b
    v1.5.0
    a year ago
    Released on August 14, 2024 at 8:46:34AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.10.0
  18. Not a part of any version track.
    52e211e
    v1.4.2
    a year ago
    Released on August 14, 2024 at 6:56:20AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.10.0-rc2
  19. Not a part of any version track.
    91dbe27
    v1.4.1
    a year ago
    Released on July 1, 2024 at 5:40:41AM
    Commit 91dbe27 builds on its old leanprover/lean4:v4.10.0-rc1
    v4.10.0-rc1
    102.0 MB Build archive size: 101968969 bytes.
  20. Not a part of any version track.
    9ee5cfa
    v1.4.0
    a year ago
    Released on July 1, 2024 at 2:37:29AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.9.0