products/sources/formale sprachen/Coq/test-suite/ide/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: bug7088.fake   Sprache: Unknown

Spracherkennung für: .fake vermutete Sprache: Scala {Scala[51] Pl1[118] Delphi[127]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

ADD { Lemma a : True. }
ADD here { Proof using. }
ADD { fail. }
ADD { trivial. } # first error
ADD { Qed. }
WAIT
EDIT_AT here
# Fixing the proof
ADD fix { trivial. }
ADD { Qed. }
WAIT
EDIT_AT fix
ADD { Qed. }
EDIT_AT fix
ADD { Qed. }
JOIN

[ Dauer der Verarbeitung: 0.70 Sekunden  ]