GitHub repository: GasStationManager/LeanTool
Primary language: Python
Created: 2024-11-26T01:33:45Z
Description: A "code intepreter" for Lean