Coq (logiciel) (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Coq (logiciel)" in French language version.

refsWebsite

Global rank French rank

83^rd place

2^nd place

383^rd place

397^th place

low place

2,117^th place

low place

low place

4,903^rd place

875^th place

low place

1,316^th place

github.com

(en) « Feit-Thompson theorem has been totally checked in Coq », Msr-inria.inria.fr, 20 septembre 2012 (consulté le 25 septembre 2012).

Patrick Massot, « Pourquoi raconter des maths à un ordinateur », La Recherche (magazine),‎ octobre-décembre 2022 (lire en ligne)

binaire, « Christine Paulin et les Logiciels Zéro Défaut », sur binaire, 24 septembre 2015 (consulté le 18 mars 2020)
« Le défi du « castor », une conjecture mathématique vieille de plus de 30 ans, résolu par une équipe constituée en partie d’« amateurs » », Le Monde.fr,‎ 17 juillet 2024 (lire en ligne, consulté le 17 juillet 2024)