| products/sources/formale sprachen/Coq/test-suite/output/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: Zpow_facts.v Sprache: Coq
|
Untersuchungsergebnis.out Download desText {Text[357] Haskell[375] Ada[610]}zum Wurzelverzeichnis wechseln The command has indeed failed with message: Tactic failure: Not an extensional equality. The command has indeed failed with message: Tactic failure: Not an extensional equality. The command has indeed failed with message: Tactic failure: Not an extensional equality. The command has indeed failed with message: Tactic failure: Not an extensional equality. The command has indeed failed with message: Tactic failure: Already an intensional equality. The command has indeed failed with message: Hypothesis e depends on the body of H' [ zur Elbe Produktseite wechseln0.82Quellennavigators ] |