search

lean-dojo / LeanCopilot

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

Bump to Lean v4.9.0 #93

Closed Peiyang-Song closed 4 months ago

Peiyang-Song commented 4 months ago

This is the latest stable release of Lean.