VSCode plugin (Isabelle/VSCode)

E2000067 UNEXPLORED

VSCode plugin (Isabelle/VSCode) is an extension that integrates the Isabelle proof assistant into Visual Studio Code, providing interactive theorem proving features such as syntax highlighting, proof checking, and IDE-style feedback.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
VSCode plugin (Isabelle/VSCode) canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Isabelle → hasInterface → VSCode plugin (Isabelle/VSCode) ⓘ