verificacion-formal

Mistral libera Leanstral 1.5, su modelo abierto que demuestra teoremas

Mistral acaba de soltar Leanstral 1.5, un modelo abierto especializado en demostrar teoremas matemáticos y verificar que el software hace lo que dice. Lo…