Retrieval-Augmented Theorem Provers for Lean
Primary LanguagePythonMIT LicenseMIT
This repository is not active