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

Quelle  README.md   Sprache: unbekannt

 
# Demo: Isabelle system component and Isabelle/Scala tool

This directory constitutes an Isabelle system component. It defines an
Isabelle/Scala tool that is available via the command-line as "isabelle demo".

See also "isabelle doc system" on "isabelle components -u" to register system
components in user-space.

NOTE: User-defined components should chose a name prefix that is unlikely to
clash with existing tools (or other user tools).

[ Dauer der Verarbeitung: 0.4 Sekunden  (vorverarbeitet)  ]