search

lean-dojo / ReProver

Retrieval-Augmented Theorem Provers for Lean
https://leandojo.org
MIT License
208 stars 44 forks source link

Merge pull request #38 from lean-dojo/main #39

Closed yangky11 closed 8 months ago

yangky11 commented 8 months ago

sync with dev