Logo journal du hacker middle
  1. 4
  1.  

  2. 2

    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.