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.

Gerado por IA: resumos escritos por IA a partir das fontes indicadas. Como usamos a IA