## LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

**1-20**of

**32**versions of

**LeanCopilot**

Sort by

Date

`880f820`

`880f820`

`8c2e4f8`

`deac9f1`

v1.5.2v4.11.0-rc2`68c6bfe`

v1.5.1v4.11.0-rc1`71b338b`

v1.5.0v4.10.0`52e211e`

v1.4.2v4.10.0-rc2`91dbe27`

`9ee5cfa`

v1.4.0v4.9.0`f2150ad`

v1.3.3v4.9.0-rc3`ab4b447`

v1.3.2v4.9.0-rc2`12b378b`

v1.3.1v4.9.0-rc1`5126d27`

v1.3.0v4.8.0`62dfdc5`

v1.2.2v4.8.0-rc2`38449d3`

`4e2cebe`

v1.2.0v4.7.0`f3c4262`

`4bc4e6c`

v1.1.1v4.6.0-rc1`78b2baa`

v1.1.0v4.5.0-rc1`2dbace3`

v1.0.2v4.5.0-rc1