Leanstral 1.5: Mistral atvērtā koda modelis Lean 4 pierādījumiem atrada piecas nezināmas kļūdas
Mistral izlaida Leanstral 1.5 — atvērtā koda modeli Lean 4 formālajai verifikācijai. Skenējot 57 projektus, tas atrada 5 iepriekš nezināmas kļūdas.
4 min12.07.2026