Mistral lança 'Leanstral', o primeiro agente de código aberto para a linguagem de programação Lean 4.

Brief da fonte

Mistral lança 'Leanstral', o primeiro agente de código aberto para a linguagem de programação Lean 4. A ferramenta visa ajudar a superar o gargalo da revisão manual de código gerado por IA em áreas de alto risco como pesquisa e software crítico. Ela visa aumentar a velocidade e a segurança.