search

lean-dojo / ReProver

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

Update Checkpoints Format #63

Closed yangky11 closed 4 months ago