lean-dojo / ReProver

Retrieval-Augmented Theorem Provers for Lean
262Updated 2 months ago

Alternatives and similar repositories for ReProver:

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