🧮 Idag släpper vi Leanstral – den första open source-kodagenten för Lean 4, en effektiv bevisassistent som kan uttrycka komplexa matematiska objekt och mjukvaruspecifikationer.