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