GitHub repository: lean-dojo/ReProver
Primary language: Python
Description: Retrieval-Augmented Theorem Provers for Lean