/LeanDojo

Tool for data extraction and interacting with Lean programmatically.

Primary LanguagePythonMIT LicenseMIT

Stargazers