isabelle-language

Here are 5 public repositories matching this topic...

An engineering and verification platform for trustworthy enterprise ontologies and knowledge graphs.

rust linked-data sparql mcp owl ontology knowledge-graph lean triplestore description-logics shacl reasoning owl2 ai-native isabelle-language oxigraph 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."