isabelle-language

Here are 5 public repositories matching this topic...

Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.

rust sparql mcp theorem-proving owl ontology knowledge-graph lean infrastructure-as-code formal-verification description-logics shacl reasoning owl2 lean4 ai-native isabelle-language mcp-server

The Isabelle Proof-assistant language IDE submodule for SNU Programming Tools (2D Mode)

A repository for showcasing my knowledge of the Isabelle Mathematical Proofing Programming language, and continuing to learn the language.

🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Isabelle category for AI2001, containing Isabelle programming language datasets

This repro collects some tools for rewritting .thy files.

isabelle rewriting isabelle-language

To associate your repository with the isabelle-language topic, visit your repo's landing page and select "manage topics."