GitHub repository: lean-dojo/LeanAgent
Primary language: Python
Description: 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.