| products/sources/formale Sprachen/Coq/test-suite/output/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: Tactics.out Sprache: Unknown
|
Untersuchungsergebnis.out Download desHaskell {Haskell[132] Fortran[351] Ada[397]}zum Wurzelverzeichnis wechseln 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 [ zur Elbe Produktseite wechseln0.62Quellennavigators ] |