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: Stream_Space.thy   Sprache: Isabelle

Untersuchungsergebnis.json Download desDelphi {Delphi[70] C[73] Abap[194]}zum Wurzelverzeichnis wechseln

{
    "compilerOptions": {
        "module": "commonjs",
        "target": "es6",
        "outDir": "out",
        "lib": [
            "es6"
        ],
        "sourceMap": true,
        "rootDir": "."
    },
    "exclude": [
        "node_modules",
        ".vscode-test"
    ]
}

[ zur Elbe Produktseite wechseln0.72Quellennavigators  ]