Leanstral 1.5: Formale Beweise für 4 Dollar statt 300 Dollar pro Aufgabe