| products/sources/formale Sprachen/Coq/test-suite/output/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: function_elims.ML Sprache: Unknown
|
Spracherkennung für: .out vermutete Sprache: Text {Text[155] Haskell[158] Fortran[269]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] Axioms: foo : nat Axioms: foo : nat Axioms: extensionality : forall (P Q : Type) (f g : P -> Q), (forall x : P, f x = g x) -> f = g Axioms: extensionality : forall (P Q : Type) (f g : P -> Q), (forall x : P, f x = g x) -> f = g Axioms: extensionality : forall (P Q : Type) (f g : P -> Q), (forall x : P, f x = g x) -> f = g Axioms: extensionality : forall (P Q : Type) (f g : P -> Q), (forall x : P, f x = g x) -> f = g Closed under the global context Closed under the global context Axioms: M.foo : False Closed under the global context Closed under the global context Closed under the global context Closed under the global context [ Dauer der Verarbeitung: 0.72 Sekunden ] |