Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: README.md Sprache: Coq

Original von: Coq^©

(* It is forbidden to erase a variable (or a local def) that is used in
the current goal. *)
Section S.
Let a := 0.
Definition b := a.
Goal b = b.
Fail clear a.
Abort.
End S.

¤ Dauer der Verarbeitung: 0.21 Sekunden (vorverarbeitet) ¤

Druckansicht unsichere Verbindung
Druckansicht sprechenden Kalenders
in der Quellcodebibliothek suchen

schauen Sie vor die Tür

Fenster

Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.