| products/sources/formale sprachen/Coq/test-suite/output/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: bug7348.out Sprache: Unknown
|
Spracherkennung für: .out vermutete Sprache: Text {Text[235] Latech[259] Haskell[317]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] forall f : nat -> Type, f x where x : nat := 1 : Type [ Dauer der Verarbeitung: 0.63 Sekunden ] |