LeanAgent is a lifelong learning framework for formal theorem proving that continuously generalizes...