10038 shaares
268 private links
268 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.