LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
Displaying 1-20 of 37 versions of LeanCopilot
Sort by
Date
- Not a part of any version track.
9498454
- Not a part of any version track.
d09e8cb
v4.18.016 days 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.
99fce17
v4.17.02 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.
ebcaec4
- Not a part of any version track.
0ce6df3
- Not a part of any version track.
77fdb81
v4.14.04 months 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.
880f820
- Not a part of any version track.
8c2e4f8
- Not a part of any version track.
deac9f1
v1.5.28 months 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.
68c6bfe
v1.5.18 months 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.
71b338b
v1.5.08 months 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.
52e211e
v1.4.28 months 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.
91dbe27
- Not a part of any version track.
9ee5cfa
v1.4.010 months agoReleased on July 1, 2024 at 2:37:29AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.9.0 - Not a part of any version track.
f2150ad
v1.3.310 months agoReleased on June 24, 2024 at 7:19:13AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.9.0-rc3 - Not a part of any version track.
ab4b447
v1.3.210 months agoReleased on June 24, 2024 at 6:57:13AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.9.0-rc2 - Not a part of any version track.
12b378b
v1.3.110 months agoReleased on June 24, 2024 at 6:37:48AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.9.0-rc1 - Not a part of any version track.
5126d27
v1.3.010 months agoReleased on June 24, 2024 at 5:33:59AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.8.0 - Not a part of any version track.
62dfdc5
v1.2.2a year agoReleased on May 25, 2024 at 10:58:30PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.8.0-rc2 - Not a part of any version track.
38449d3