Écrire des programmes prouvés corrects avec Coq Garantir mathématiquement le respect d'une spécification programmation coq méthodes formelles
Un zeste de mathématiques assistées par ordinateur Quand la machine vient en support du mathématicien mathématiques coq méthodes formelles
