LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
Displaying 1-20 of 44 versions of LeanCopilot
Sort by
Date
- Not a part of any version track.
6cd705a6 days agoReleased on November 18, 2025 at 12:27:16AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.25.0 - Not a part of any version track.
e14072dv4.25.06 days agoReleased on November 17, 2025 at 10:59:27PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.25.0 - Not a part of any version track.
750936bv4.24.0a month agoReleased on October 14, 2025 at 8:59:28PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.0 - Not a part of any version track.
c4c11b7v4.23.02 months agoReleased on September 15, 2025 at 2:32:54AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.23.0 - Not a part of any version track.
2244f0av4.22.03 months agoReleased on August 14, 2025 at 8:48:53AMCommit 2244f0a builds on its old leanprover/lean4:v4.23.0-rc1v4.23.0-rc1108.5 MB Build archive size: 108473157 bytes. - Not a part of any version track.
d893c2fv4.21.05 months agoReleased on July 1, 2025 at 3:46:35AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.21.0 - Not a part of any version track.
10d63fcv4.20.06 months agoReleased on June 6, 2025 at 5:20:09AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.20.0 - Not a part of any version track.
9a2ba00v4.19.07 months agoReleased on May 2, 2025 at 9:32:07PMCommit 9a2ba00 builds on its old leanprover/lean4:v4.19.0v4.19.0107.9 MB Build archive size: 107933442 bytes. - Not a part of any version track.
d09e8cbv4.18.07 months agoReleased on April 9, 2025 at 9:43:43AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.18.0 - Not a part of any version track.
99fce17v4.17.09 months agoReleased on March 3, 2025 at 10:34:37PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.17.0 - Not a part of any version track.
ebcaec4v4.16.010 months agoReleased on February 3, 2025 at 10:42:21AMCommit ebcaec4 builds on its old leanprover/lean4:v4.16.0v4.16.0106.4 MB Build archive size: 106369417 bytes. - Not a part of any version track.
0ce6df3v4.15.0a year agoReleased on January 4, 2025 at 8:28:24AMCommit 0ce6df3 builds on its old leanprover/lean4:v4.15.0v4.15.0106.9 MB Build archive size: 106851986 bytes. - Not a part of any version track.
77fdb81v4.14.0a year agoReleased on December 25, 2024 at 6:44:45PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.14.0 - Not a part of any version track.
880f820v1.6.0a year agoReleased on September 2, 2024 at 9:55:15AMCommit 880f820 builds on its old leanprover/lean4:v4.11.0v4.11.0103.2 MB Build archive size: 103175288 bytes. - Not a part of any version track.
8c2e4f8v1.5.3a year agoReleased on September 1, 2024 at 8:11:27AMCommit 8c2e4f8 builds on its old leanprover/lean4:v4.11.0-rc3v4.11.0-rc3102.3 MB Build archive size: 102264031 bytes. - Not a part of any version track.
deac9f1v1.5.2a year agoReleased on August 29, 2024 at 11:47:47PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.11.0-rc2 - Not a part of any version track.
68c6bfev1.5.1a year agoReleased on August 14, 2024 at 11:55:41PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.11.0-rc1 - Not a part of any version track.
71b338bv1.5.0a year agoReleased on August 14, 2024 at 8:46:34AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.10.0 - Not a part of any version track.
52e211ev1.4.2a year agoReleased on August 14, 2024 at 6:56:20AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.10.0-rc2 - Not a part of any version track.
91dbe27v1.4.1a year agoReleased on July 1, 2024 at 5:40:41AMCommit 91dbe27 builds on its old leanprover/lean4:v4.10.0-rc1v4.10.0-rc1102.0 MB Build archive size: 101968969 bytes.