Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
分类：web-services | 版本：v0.1.0 | 定价：免费
GitHub: https://github.com/Axiomatic-AI/ax-prover-base-mcp
加载中...
提交前请确保证据真实充分。平台将在3个工作日内处理。