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