Textaufgaben
.
Formal verifizierte Rechenschritte
Lean 4 + mathlib
Eine Aufgabe wählen
Aufgabe
Verifizieren
Lean prüft deinen Schritt …
Zugangscode
Zugangscode eingeben (den bekommst du von der Familie):
Falscher Zugangscode.
Los