Discussion:Coq (logiciel)
De Wikipedia, l'encyclopédie encyclopedia
Une copie d'écran serait une bonne idée, qu'on se rende mieux compte... 195.132.58.211 9 sep 2004 à 15:38 (CEST)
- Pour ce que je m'en souviens, un screenshot serait assez abscons. Ah : , une gallerie de screenshots ! Si leur licence le permet, on pourrait peut-être en piquer quelques uns pour wikipedia.--Ąļḋøø 9 sep 2004 à 17:22 (CEST)
Davantage d’informations Avancement, Importance ...
Avancement | Importance | pour le projet | |
---|---|---|---|
Ébauche | Faible | Informatique (discussion • critères • liste • stats • hist. • comité • stats vues) | |
Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) | |||
À évaluer | Logique (discussion • critères • liste • stats • hist. • comité • stats vues) |
Fermer
Cet article est indexé par les projets Informatique, Mathématiques et Logique.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.
Doublon avec Coq (assistant de preuve). Tom 20 déc 2004 à 12:45 (CET)
- Bien vu. Coq (logiciel) me semble une meilleure résolution d'homonymie. Marc Mongenet 24 déc 2004 à 15:21 (CET)
- c'est clair c'est plus pratique comme nom. Mais le contenu de Coq (assistant de preuve) est (plus) intéressant. Si quelqu'un connaît bien coq je pense qu'il pourra fusionner facilement. Tom 24 déc 2004 à 18:39 (CET)