#

isar

Here is 1 public repository matching this topic...

Arthur742Ramos / Isabelle-VSCode

Isabelle/PIDE for VS Code - live proof state, Sledgehammer, build diagnostics, and theory tooling, backed by a real Isabelle Headless/LSP engine.

scala theorem-proving proof-assistant vscode-extension isabelle formal-verification lsp isar pide

Updated Jun 11, 2026
TypeScript

Improve this page

Add a description, image, and links to the isar topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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