"证明助手" 标签

1 个结果

标签搜索结果

AI与计算

Rocq MCP 服务器

连接LLM与Rocq/Coq证明助手的MCP服务器，提供交互式定理证明工具。

定理证明 Rocq Coq 证明助手