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: platform.scala   Sprache: Scala

Untersuchungsergebnis.out Download desHaskell {Haskell[186] CS[484] Abap[590]}zum Wurzelverzeichnis wechseln

'Under[ m - m ]
(G (fun _ : nat => 0) n >= 0)
'Under[ r = R0 \/ E r ]
(Rbar_le Rbar0 (Lub_Rbar (fun r : R => r = R0 \/ E r)))

[ zur Elbe Produktseite wechseln0.70Quellennavigators  ]