GitHub repository: zhangir-azerbayev/pySagredo
Primary language: Python
Description: LM based automatic theorem prover that can write code, respond to error messages, and look up docs.