search

lean-dojo / LeanDojo

Tool for data extraction and interacting with Lean programmatically.
https://leandojo.org
MIT License
478 stars 72 forks source link

Reduce the Initialization Time When Interacting with Lean #175

Closed yangky11 closed 1 week ago

yangky11 commented 2 weeks ago

https://github.com/lean-dojo/LeanDojo/discussions/159 https://github.com/lean-dojo/LeanDojo/discussions/65