lean-dojo / ReProverLinks

Retrieval-Augmented Theorem Provers for Lean
287Updated 6 months ago

Alternatives and similar repositories for ReProver

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

Sorting: