Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>IsabelleNew to Visual Studio Code? Get it now.
Isabelle

Isabelle

Makarius Wenzel

|
3,613 installs
| (0) | Free
Isabelle Prover IDE
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

Isabelle/VSCode Prover IDE (PIDE)

This extension is obsolete!

Isabelle2021-1 (December 2021) is the last Isabelle release with a separate VSCode extension on the public marketplace (see "makarius.Isabelle2021-1").

Starting with Isabelle2022, a fully integrated Isabelle/VSCode with corresponding extension is incorporated into the Isabelle distribution.

See also the regular Isabelle webite and its mirrors:

  • Cambridge (UK) https://www.cl.cam.ac.uk/research/hvg/Isabelle
  • Munich (Germany) https://isabelle.in.tum.de
  • Sydney (Australia) https://mirror.cse.unsw.edu.au/pub/isabelle
  • Potsdam, NY (USA) https://mirror.clarkson.edu/isabelle
  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2025 Microsoft