search

lean-dojo / ReProver

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

Update #27

Closed yangky11 closed 1 year ago

yangky11 commented 1 year ago