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: TestDescription.java   Sprache: Unknown

rahmenlose Ansicht.out DruckansichtHTML {HTML[95] Ada[203] Abap[282]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

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

[ Verzeichnis aufwärts0.56unsichere Verbindung  ]