lean-dojo/reprover: Retrieval-Augmented Theorem Provers for Lean
Category: math
Language: Python
Topics: lean, machine-learning, retrieval-augmentation, theorem-proving
Homepage: https://leandojo.org