| products/sources/formale Sprachen/Coq/test-suite/output/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: Sprache: Unknown
|
rahmenlose Ansicht.out DruckansichtText {Text[235] Latech[259] Haskell[317]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] forall f : nat -> Type, f x where x : nat := 1 : Type [ Verzeichnis aufwärts0.41unsichere Verbindung ] |