9869 shaares
243 private links
243 private links
Coq est un assistant de preuve. Je commences à en entendre parler tous les mois. Il semble qu'il soit le meilleur dans sa catégorie.
Coq est un assistant de preuve. Je commences à en entendre parler tous les mois. Il semble qu'il soit le meilleur dans sa catégorie.
