| products/sources/formale Sprachen/Coq/test-suite/output/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: Blast.thy Sprache: Unknown
|
Spracherkennung für: .out vermutete Sprache: Text {Text[78] Latech[132] Haskell[222]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] compose (C:=nat) S : (nat -> nat) -> nat -> nat ex_intro (P:=fun _ : nat => True) (x:=0) I : ex (fun _ : nat => True) d2 = fun x : nat => d1 (y:=x) : forall x x0 : nat, x0 = x -> x0 = x Arguments x, x0 are implicit Argument scopes are [nat_scope nat_scope _] map id (1 :: nil) : list nat map id' (1 :: nil) : list nat map (id'' (A:=nat)) (1 :: nil) : list nat [ Normaldarstellung0.52Diashow ] |