Vibe Coding an LLM-powered Theorem Prover
Isabellm ist ein brandneuer, von großen Sprachmodellen unterstützter Theorem-Prover für Isabelle/HOL, der komplette Beweise automatisch erzeugt. Das System nutzt lokale LLMs über Ollama sowie APIs wie Gemini CLI und ist…