Leanstral: open-source AI agent for Lean 4 formal proof engineering

Leanstral を公開、Lean 4 形式証明向けオープンソースエージェント

Lean 4 による形式証明開発を対象とするオープンソースエージェント Leanstral が公開された。形式手法領域に特化したエージェントの試みと位置付けられている。