products/sources/formale sprachen/Isabelle/Tools/VSCode/extension image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Sorting_Algorithms_Examples.thy   Sprache: Unknown

Columbo aufrufen.vscodeignore zum Wurzelverzeichnis wechselnC {C[79] Abap[239] [0]}Datei anzeigen

.vscode/**
.vscode-test/**
out/test/**
test/**
src/**
**/

.gitignore
tsconfig.json
vsc-extension-quickstart.md

[ Original von:0.90Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen. Man kann per Verzeichnistruktur darin navigieren. Der Code wird farblich markiert angezeigt.  ]