Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
toto = ssr_have I (fun y : True => conj y y)
: True /\ True
toto = ssr_have I (fun y : True => conj y y)
: True /\ True
[ Dauer der Verarbeitung: 0.27 Sekunden
]
