Untersuchungsergebnis.out Download desUnknown {[0] [0] [0]}zum Wurzelverzeichnis wechseln
nat * nat : Type
: Type
0 * 0 : nat
: nat
Z0 * Z0 : Z
: Z
File "./output/TermSyntax.v", line 11, characters 17-22:
The command has indeed failed with message:
Unknown interpretation for notation "{ _ ; _ }".
fun '(exist _ x _) => x
: b -> bool
[ zur Elbe Produktseite wechseln0.92Quellennavigators
]
