Supplementary dependent library

lean-dojo / ReProver

Retrieval-Augmented Theorem Provers for Lean

https://leandojo.org

MIT License

229 stars 53 forks source link

Closed huolongguo1O closed 2 months ago

huolongguo1O commented 3 months ago

Supplementary dependent library

yangky11 commented 3 months ago

Could you provide more context? Why is this dependency needed?