Spracherkennung für: .fake vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
ADD { Lemma a : True. }
ADD here { Proof using. }
ADD { fail. }
ADD { trivial. } # first error
ADD { Qed. }
WAIT
EDIT_AT here
# Fixing the proof
ADD fix { trivial. }
ADD { Qed. }
WAIT
EDIT_AT fix
ADD { Qed. }
EDIT_AT fix
ADD { Qed. }
JOIN
[Dauer der Verarbeitung: 0.9 Sekunden, vorverarbeitet 2026-06-04]
