search

lean-dojo / ReProver

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

treat ProofGivenUp as error in proof search #8

Closed yangky11 closed 1 year ago