# LeanDojo | Knowledge Base | Instagit

Machine Learning for Theorem Proving in Lean

---

## Repositories

### [leanagent](/lean-dojo/leanagent)

LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expanding mathematical knowledge without forgetting previously learned knowledge.

- 23 articles | 58 stars
- Tags: internals, how-to-guide, deep-dive, architecture