Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
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: psnfss2.xbm   Sprache: Unknown

Spracherkennung für: .out vermutete Sprache: Shell {Shell[49] Scala[98] Isabelle[107]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

P x
     : Prop
R x x
     : Prop
fun (x : foo) (n : nat) => x n
     : foo -> nat -> nat
"1" 0
     : PAIR

[ Dauer der Verarbeitung: 0.84 Sekunden  ]