| products/sources/formale sprachen/Coq/test-suite/output/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: PrintModule.v Sprache: Unknown
|
Untersuchungsergebnis.out Download desShell {Shell[49] Scala[98] Isabelle[107]}zum Wurzelverzeichnis wechseln P x : Prop R x x : Prop fun (x : foo) (n : nat) => x n : foo -> nat -> nat "1" 0 : PAIR [ zur Elbe Produktseite wechseln0.76Quellennavigators ] |