🧮 Heute veröffentlichen wir Leanstral - den ersten Open-Source-Code-Agenten für Lean 4, einen effizienten Beweisassistenten, der in der Lage ist, komplexe mathematische Objekte und Software-Spezifikationen auszudrücken.