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

Untersuchungsergebnis.out Download desHaskell {Haskell[264] Fortran[444] Ada[478]}zum Wurzelverzeichnis wechseln

The proof of nat should start with one of the following commands:
Proof using . 
Proof using Type*. 
Proof using Type. 
The proof of foo should start with one of the following commands:
Proof using A B. 
Proof using All. 

[ zur Elbe Produktseite wechseln0.69Quellennavigators  ]