1 listing · 0 installs
Open-source publisher. Listings imported from github.com/LLM4Rocq — credited to the original author with their license.
mcp-llm4rocq-rocq-mcp · by LLM4Rocq
MCP server for the Rocq prover
