search

lean-dojo / LeanDojo

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

Fix typos #22

Closed pitmonticone closed 1 year ago