English
AI Agent

mathcode

math-ai-org/mathcode

面向数学与Lean 4证明的终端编码智能体,可检查证明目标、检索定义并以严格验证为准完成证明。

标签