No results found

LeanCopilot

LLMs as Copilots for Theorem Proving in Lean
#llm-inference #machine-learning #theorem-proving #formal-mathematics
Displaying 1-20 of 32 versions of LeanCopilot
Sort by
  1. Not a part of any version track.
    880f820
    v1.6.0
    a month ago
    Released on September 2, 2024 at 9:55:15AM
    Commit 880f820 builds on its old leanprover/lean4:v4.11.0
    v4.11.0
    102.8 MB Build archive size: 102836441 bytes.
  2. Not a part of any version track.
    880f820
    v1.6.0
    a month ago
    Released on September 2, 2024 at 9:55:15AM
    Commit 880f820 builds on its old leanprover/lean4:v4.11.0
    v4.11.0
    102.8 MB Build archive size: 102836441 bytes.
  3. Not a part of any version track.
    8c2e4f8
    v1.5.3
    a month 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.
  4. Not a part of any version track.
    deac9f1
    v1.5.2
    a month 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
  5. Not a part of any version track.
    68c6bfe
    v1.5.1
    2 months 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
  6. Not a part of any version track.
    71b338b
    v1.5.0
    2 months 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
  7. Not a part of any version track.
    52e211e
    v1.4.2
    2 months 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
  8. Not a part of any version track.
    91dbe27
    v1.4.1
    3 months 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.
  9. Not a part of any version track.
    9ee5cfa
    v1.4.0
    3 months 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
  10. Not a part of any version track.
    f2150ad
    v1.3.3
    3 months ago
    Released on June 24, 2024 at 7:19:13AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.9.0-rc3
  11. Not a part of any version track.
    ab4b447
    v1.3.2
    3 months ago
    Released on June 24, 2024 at 6:57:13AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.9.0-rc2
  12. Not a part of any version track.
    12b378b
    v1.3.1
    3 months ago
    Released on June 24, 2024 at 6:37:48AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.9.0-rc1
  13. Not a part of any version track.
    5126d27
    v1.3.0
    3 months ago
    Released on June 24, 2024 at 5:33:59AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.8.0
  14. Not a part of any version track.
    62dfdc5
    v1.2.2
    4 months ago
    Released on May 25, 2024 at 10:58:30PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.8.0-rc2
  15. Not a part of any version track.
    38449d3
    v1.2.1
    5 months ago
    Released on May 21, 2024 at 1:11:23AM
    Commit 38449d3 builds on its old leanprover/lean4:v4.8.0-rc1
    v4.8.0-rc1
  16. Not a part of any version track.
    4e2cebe
    v1.2.0
    6 months ago
    Released on April 4, 2024 at 9:17:52PM
    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.
    f3c4262
    v1.1.2
    7 months ago
    Released on March 14, 2024 at 4:48:40AM
    Commit f3c4262 builds on its old leanprover/lean4:v4.7.0-rc2
    v4.7.0-rc2
  18. Not a part of any version track.
    4bc4e6c
    v1.1.1
    8 months ago
    Released on February 2, 2024 at 4:02:00PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.6.0-rc1
  19. Not a part of any version track.
    78b2baa
    v1.1.0
    9 months ago
    Released on January 19, 2024 at 10:35:41PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.5.0-rc1
  20. Not a part of any version track.
    2dbace3
    v1.0.2
    9 months ago
    Released on January 11, 2024 at 6:21:04PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.5.0-rc1