Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Tools/VSCode/no_extension/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 16.11.2025 mit Größe 655 B image not shown  

Quelle  README.md   Sprache: unbekannt

 
# 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

[ Dauer der Verarbeitung: 0.17 Sekunden  (vorverarbeitet)  ]