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