🧮 Tänään julkaisemme Leanstralin – ensimmäisen avoimen lähdekoodin agentin Lean 4:lle, tehokkaan todistusavustajan, joka pystyy ilmaisemaan monimutkaisia matemaattisia objekteja ja ohjelmistospesifikaatioita.