GitHub repository: riyazahuja/ImProver
Primary language: Python
Description: ImProver: Agent-Based Automated Proof Optimization