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

Untersuchungsergebnis.out Download desText {Text[235] Latech[259] Haskell[317]}zum Wurzelverzeichnis wechseln

forall f : nat -> Type, f x where x : nat := 1
     : Type

[ zur Elbe Produktseite wechseln0.71Quellennavigators  ]