| products/sources/formale Sprachen/Coq/test-suite/ide/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: ssrsyntax2.v Sprache: Unknown
|
rahmenlose Ansicht.fake DruckansichtScala {Scala[51] Pl1[118] Delphi[127]}Entwicklung 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 [ Verzeichnis aufwärts0.45unsichere Verbindung ] |