🧮 本日、私たちはLean 4向けの初のオープンソースコードエージェントであるLeanstralをリリースしました。これは複雑な数学的オブジェクトやソフトウェア仕様を表現できる効率的な証明アシスタントです。