|
Axiom A : Type.
Goal True. exact I.
Check (fun P => P A).
Abort.
Goal True.
Definition foo (A : Type) : Prop:= True.
set (x:=foo). split.
Qed.
¤ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
¤
|
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.
Die farbliche Syntaxdarstellung ist noch experimentell.
|
