lean-dojo / LeanAgentLinks

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.
33Updated 2 months ago

Alternatives and similar repositories for LeanAgent

Users that are interested in LeanAgent are comparing it to the libraries listed below

Sorting: