products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/jEdit/macros/Emacs/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Demo.v   Sprache: Unknown

From Tuto0 Require Import Loader.

HelloWorld.

Lemma test : True.
Proof.
hello_world.
Abort.

[ Dauer der Verarbeitung: 0.1 Sekunden  (vorverarbeitet)  ]