Discuter:Coq (logiciel)

Un article de Wikipédia, l'encyclopédie libre.

	Coq (logiciel) fait partie du projet Mathématiques, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés aux mathématiques. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet, où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail Mathématiques pourrait aussi vous intéresser.
Ébauche	Cet article a été classé comme d'Avancement ébauche selon le Tableau d'évaluation du projet. (Voir les statistiques)
Faible	Cet article a été classé comme d'Importance faible selon le Tableau d'évaluation du projet.

	Coq (logiciel) fait partie du projet Informatique, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés à l'informatique. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail informatique pourrait aussi vous intéresser.
Ébauche	Cet article a été classé comme d'Avancement ébauche selon le Tableau d'évaluation du projet. (Voir les statistiques)
Faible	Cet article a été classé comme d'Importance faible selon le Tableau d'évaluation du projet. (Contester?)

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 : [1], 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)

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)