🧮 Dnes vydáváme Leanstral – prvního open-source agenta pro Lean 4, efektivního asistenta důkazů schopného vyjádřit složité matematické objekty a softwarové specifikace.