LeanAgent

A lifelong-learning theorem-proving framework that adapts to expanding collections of Lean repositories.

• Developer / Organization: LeanDojo / LeanAgent research team
• Category: Other public-source research frameworks
• Purpose: Extend theorem-proving knowledge across growing Lean repositories.
• Key features: A lifelong-learning framework for retrieval and formal theorem proving across Lean repositories.
• Availability: Public source; open-source license not verified
• License: Not verified in the linked source (source (opens in a new tab))
• Website / Source code: https://github.com/lean-dojo/LeanAgent (opens in a new tab)
• Version: Source repository; no GitHub release published
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01