Spracherkennung für: .fake vermutete Sprache: Scala {Scala[47] PVS[118] Lisp[121]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
# first proof
ADD { Lemma a : True. }
ADD { Proof using. }
ADD here { trivial. } # first error
ADD { fail. }
ADD { Qed. }
WAIT
EDIT_AT here
# Fixing the proof
ADD { Qed. }
WAIT
EDIT_AT here
ADD { Qed. }
JOIN
[ Dauer der Verarbeitung: 0.124 Sekunden
]
