C’est peut-être pas très logique, mais il n’y a pas qu’une seule logique !

Une petite histoire pas très sérieuse de deux très sérieuses logiques permet à Guillaume Cano, jeune docteur en science informatique, de nous faire comprendre comment l’informatique permet de construire des preuves mathématiques et de synthétiser des programmes certifiés.