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: apply.v   Sprache: Coq

Untersuchungsergebnis.out Download desHTML {HTML[95] Ada[203] Abap[282]}zum Wurzelverzeichnis wechseln

nat + nat + {True}
     : Set
{True} + {True} + {True}
     : Set
nat + {True} + {True}
     : Set

[ zur Elbe Produktseite wechseln0.65Quellennavigators  ]