j'ai toujours trouvé le domaine de la preuve formelle passionnant, et le fait que Coq existe et soit sous GPLv2 devrait pousser à une plus grande utilisation des Logiciels Libres à l'Université et dans le domaine de la recherche.
j'ai toujours trouvé le domaine de la preuve formelle passionnant, et le fait que Coq existe et soit sous GPLv2 devrait pousser à une plus grande utilisation des Logiciels Libres à l'Université et dans le domaine de la recherche.