Un cours sur la preuve formelle avec Chisel. Par l'auteur de la librairie.

La promeneuse n'avait même pas de gilet par-balle! Franchement, elle ne l'a pas un peu cherché ?
Ça c'est comme les cyclistes sans casque, faut pas venir se plaindre après.