Enables interaction with the ACL2 theorem prover through 15 tools for theorem proving, expression evaluation, persistent session management, and proof debugging.
复制安装指令，让 AI 自动完成配置 · 推荐新手
"ACL2 MCP Server" 暂无可直接复制的安装信息，请查看页面文档或源码仓库。
该资产暂无文档说明
可前往源码仓库查看用法与示例。