search

lean-dojo / LeanCopilot

LLMs as Copilots for Theorem Proving in Lean
https://leandojo.org
MIT License
999 stars 92 forks source link

Bump with Lean #84

Closed Peiyang-Song closed 5 months ago

Peiyang-Song commented 5 months ago

~

Peiyang-Song commented 5 months ago

Lean Copilot v1.3.0 is published from PR #86 , using Lean v4.8.0 (latest stable release).

Peiyang-Song commented 5 months ago

Lean Copilot v1.3.1 is published from PR #87 , using Lean v4.9.0-rc1.

Peiyang-Song commented 5 months ago

Lean Copilot v1.3.2 is published from PR #88 , using Lean v4.9.0-rc2.

Peiyang-Song commented 5 months ago

Lean Copilot v1.3.3 is published from PR #89 , using Lean v4.9.0-rc3 (latest prelease of Lean4).