kappelmann/isabelle-pide-mcp

An MCP server interacting with Isabelle via Isabelle/PIDE

语言：Scala · GitHub 星标：20 · Fork：5

在 GitHub 上查看原仓库