Poster un commentaire à la suite de l’article...

samedi 22 octobre 2022
par  Alain BUSSER

why3, un outil pour découvrir expérimentalement les variants et invariants

why3 est maintenant doté d’un mode Python qui permet de lui faire prouver des propriétés des algorithmes

modération a priori

Ce forum est modéré a priori : votre contribution n’apparaîtra qu’après avoir été validée par un administrateur du site.

Qui êtes-vous ?
Votre message

Pour créer des paragraphes, laissez simplement des lignes vides.