products/sources/formale sprachen/Coq/test-suite/output/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: SearchPattern.out   Sprache: Unknown

Spracherkennung für: .out vermutete Sprache: Haskell {Haskell[132] Fortran[351] Ada[397]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

plus_n_O: forall n : nat, n = n + 0
plus_O_n: forall n : nat, 0 + n = n
h: n = newdef n
h: n = newdef n
h: n = newdef n

[ Dauer der Verarbeitung: 0.76 Sekunden  ]