🧮 I dag lanserer vi Leanstral – den første åpen kildekode-agenten for Lean 4, en effektiv bevisassistent som kan uttrykke komplekse matematiske objekter og programvarespesifikasjoner.