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.
26Updated last month

Alternatives and similar repositories for LeanAgent

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

Sorting: