Proof Assistant

MCP-RoCQ

by angrysky56

MCP-RoCQ is a Model Context Protocol server providing logical reasoning capabilities through Coq. It...