GitHub repository: zhangir-azerbayev/lean4-agent
Primary language: Python
Created: 2023-04-01T02:30:59Z
Description: LM based automatic theorem prover that can write code, respond to error messages, and look up docs.