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 typo in ExtractData.lean #1

Closed eltociear closed 1 year ago

eltociear commented 1 year ago

separted -> separated

yangky11 commented 1 year ago

Thank you!