LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
of 40 versions of LeanCopilot
1-20Sort by
Date
6196563
v4.22.0-rc2107.8 MBd893c2f
v4.21.0v4.21.010d63fc
v4.20.0v4.20.09a2ba00
v4.19.0v4.19.0107.9 MBd09e8cb
v4.18.0v4.18.099fce17
v4.17.0v4.17.0ebcaec4
v4.16.0v4.16.0106.4 MB0ce6df3
v4.15.0v4.15.0106.9 MB77fdb81
v4.14.0v4.14.0880f820
v1.6.0v4.11.0103.2 MB8c2e4f8
v1.5.3v4.11.0-rc3102.3 MBdeac9f1
v1.5.2v4.11.0-rc268c6bfe
v1.5.1v4.11.0-rc171b338b
v1.5.0v4.10.052e211e
v1.4.2v4.10.0-rc291dbe27
v1.4.1v4.10.0-rc1102.0 MB9ee5cfa
v1.4.0v4.9.0f2150ad
v1.3.3v4.9.0-rc3ab4b447
v1.3.2v4.9.0-rc212b378b
v1.3.1v4.9.0-rc1