6 projects
Isabelle-Semantic-Embedding
Isabelle Semantic Embedding
IsaMini
Isabelle/Minilang
isabelle-mcp
MCP server bridging AI agents with the Isabelle proof assistant via its LSP/PIDE interface
isabelle-rpc
Isabelle RPC Host: call Python functions from Isabelle/ML
my-better-isabelle-prover
Patch manager for Isabelle installations
IsaREPL
Isabelle REPL client
