返回首页

"证明助手" 标签

1 个结果

标签搜索结果

AI与计算

Rocq MCP 服务器

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