search

lean-dojo / LeanCopilot

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

Bump with Lean v4.8.0 #86

Closed Peiyang-Song closed 5 months ago

Peiyang-Song commented 5 months ago

~