LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
Displaying 1-20 of 33 versions of LeanCopilot
Sort by
Date
- Not a part of any version track.
1c84b5ba day agoReleased on December 30, 2024 at 4:57:48PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.15.0-rc1 - Not a part of any version track.
77fdb81v4.14.06 days 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.
deac9f1v1.5.24 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.
68c6bfev1.5.15 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.
71b338bv1.5.05 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.
52e211ev1.4.25 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.
9ee5cfav1.4.06 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.
f2150adv1.3.36 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.
ab4b447v1.3.26 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.
12b378bv1.3.16 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.
5126d27v1.3.06 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.
62dfdc5v1.2.27 months 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 - Not a part of any version track.
4e2cebev1.2.09 months agoReleased on April 4, 2024 at 9:17:52PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.7.0 - Not a part of any version track.
f3c4262 - Not a part of any version track.
4bc4e6cv1.1.1a year agoReleased on February 2, 2024 at 4:02:00PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.6.0-rc1 - Not a part of any version track.
78b2baav1.1.0a year agoReleased on January 19, 2024 at 10:35:41PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.5.0-rc1