MCP ресурсы с тэгом 'Coq'
Обзор 1+ MCP-ресурсов с меткой 'Coq' для расширения ваших Minecraft возможностей.
Coq
All
- MCP, предлагающий продвинутые возможности логического вывода благодаря интеграции с помощником по доказательствам Coq.
Рекомендуемые