Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/Isabelle/Tools/Electron/test/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 16.11.2025 mit Größe 306 B image not shown  

Quelle  package.json   Sprache: unbekannt

 
{
  "name": "isabelle-electron-test",
  "version": "1.0.0",
  "description": "Isabelle/Electron Test",
  "main": "main.js",
  "scripts": {
    "start": "electron ."
  },
  "author": "Makarius",
  "license": "BSD3",
  "devDependencies": {
      "electron": "^17.1.2",
      "@electron/fuses": "1.5.0"
  }
}

[ Dauer der Verarbeitung: 0.3 Sekunden  (vorverarbeitet)  ]