Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
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
[ Dauer der Verarbeitung: 0.32 Sekunden
]
