🧮 Bugün, Leanstral'ı piyasaya sürdük - Lean 4 için ilk açık kaynak kod ajanı; karmaşık matematiksel nesneleri ve yazılım özelliklerini ifade edebilen verimli bir ispat asistanı.