Spracherkennung für: .fake vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
# -*- coq-prog-args: ("-async-proofs-command-error-resilience" "on"); -*-
ADD { Section Foo. }
ADD { Definition bar := Bar. }
ADD { End Foo. }
FAILJOIN
[Dauer der Verarbeitung: 0.13 Sekunden, vorverarbeitet 2026-04-28]
