GitHub repository: marcinwrochna/LeanDojo
Primary language: Python
Description: Tool for data extraction and interacting with Lean programmatically.