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

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: ErrorInSection.v   Sprache: Unknown

(* -*- mode: coq; coq-prog-args: ("-quick") -*- *)
Section S.
  Definition foo := nonexistent.
End S.

[ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ]