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: primproj2.v   Sprache: Unknown

Untersuchungsergebnis.out Download desHaskell {Haskell[927] BAT[943] Ada[1143]}zum Wurzelverzeichnis wechseln

The command has indeed failed with message:
In nested Ltac calls to "c", "abs", "abstract b ltac:(())", 
"b", "a", "pose (I : I)" and "(I : I)", last term evaluation failed.
The term "I" has type "True" which should be Set, Prop or Type.

[ zur Elbe Produktseite wechseln0.77Quellennavigators  ]