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

Untersuchungsergebnis.out Download desHaskell {Haskell[388] Fortran[518] Ada[634]}zum Wurzelverzeichnis wechseln

The command has indeed failed with message:
Cannot coerce to a disjunctive/conjunctive pattern.
The command has indeed failed with message:
Disjunctive/conjunctive introduction pattern expected.
The command has indeed failed with message:
Cannot coerce to a disjunctive/conjunctive pattern.
The command has indeed failed with message:
Cannot coerce to a disjunctive/conjunctive pattern.
The command has indeed failed with message:
Ltac variable H is bound to <tactic closure> which cannot be coerced to
an introduction pattern.
The command has indeed failed with message:
Disjunctive/conjunctive introduction pattern expected.
The command has indeed failed with message:
Ltac variable H' is bound to which cannot be coerced to
an introduction pattern.

[ zur Elbe Produktseite wechseln0.168Quellennavigators  ]