lean-dojo / LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

google-deepmind / formal-conjectures

A collection of formalized statements of conjectures in Lean.