LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
Displaying 1-20 of 53 versions of LeanCopilot
Sort by
Date
- Not a part of any version track.
0781355v4.35.06 days agoReleased on October 13, 2026 at 12:50:57AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.35.0 - Not a part of any version track.
0781355v4.35.06 days agoReleased on October 13, 2026 at 12:50:57AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.35.0 - Not a part of any version track.
5af8991v4.34.0a month agoReleased on September 15, 2026 at 1:19:19AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.34.0 - Not a part of any version track.
5e00f2dv4.33.02 months agoReleased on August 19, 2026 at 2:28:00PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.33.0 - Not a part of any version track.
2a5cd0ev4.32.02 months agoReleased on August 18, 2026 at 4:26:51AMCommit 2a5cd0e builds on its old leanprover/lean4:v4.32.0v4.32.0236.3 MB Build archive size: 236346211 bytes. - Not a part of any version track.
2458f73v4.31.04 months agoReleased on June 20, 2026 at 10:31:39PMCommit 2458f73 builds on its old leanprover/lean4:v4.32.0-rc1v4.32.0-rc1121.7 MB Build archive size: 121716078 bytes. - Not a part of any version track.
4ad50a8v4.29.05 months agoReleased on June 2, 2026 at 1:39:28AMCommit 4ad50a8 builds on its old leanprover/lean4:v4.30.0v4.30.0118.0 MB Build archive size: 117950028 bytes. - Not a part of any version track.
c360b5dv4.28.08 months agoReleased on February 16, 2026 at 11:27:37PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.28.0 - Not a part of any version track.
ed586c6v4.27.08 months agoReleased on February 11, 2026 at 8:51:46AMCommit ed586c6 builds on its old leanprover/lean4:v4.27.0v4.27.0116.4 MB Build archive size: 116441376 bytes. - Not a part of any version track.
4cdef7bv4.26.010 months agoReleased on December 18, 2025 at 8:39:16AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.26.0 - Not a part of any version track.
e14072dv4.25.0a year 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 year 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.0a year 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.0a year 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.0a year 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.0a year 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.0a year 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.02 years 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.02 years 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.02 years 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.