Browse all MCP servers by llm4rocq.
by LLM4Rocq
The Rocq MCP Server is a Model Context Protocol server that facilitates interaction with the Rocq/Coq proof assistant using the Petanque protocol.
