ミストラルは、Lean...

ソース要約

ミストラルは、Lean 4プログラミング言語向けの最初のオープンソースコードエージェントである「Leanstral」をリリースしました。このツールは、研究や重要なソフトウェアといったハイリスクな分野で、AI生成コードを手動でレビューするというボトルネックを克服するための支援を目指しています。それは、速度と安全性の向上を狙っています。