Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
Error: There are pending proofs in file ./output/bug_16335.v: foo.
coqc exited with code 1
[ Dauer der Verarbeitung: 0.74 Sekunden
]
