Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
File "./output/Qf_end.v", line 2, characters 4-5:
Error:
Last block to end has name A.
Quickfix:
Replace File "./output/Qf_end.v", line 2, characters 4-5 with A
coqc exited with code 1
[Dauer der Verarbeitung: 0.13 Sekunden, vorverarbeitet 2026-04-26]