lean-dojo

TorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification.

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.