Mistral AIがLean 4向け形式検証モデル「Leanstral 1.5」をApache-2.0で公開。miniF2Fを満点で突破し、オープンソースの実コードから未報告のバグを5件発見しました。