issues
search
lean-dojo
/
ReProver
Retrieval-Augmented Theorem Provers for Lean
https://leandojo.org
MIT License
229
stars
53
forks
source link
Prover
#9
Closed
yangky11
closed
1 year ago