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

383^rd place

397^th place

low place

low place

1ouvrirlascience.fr

low place

low place

83^rd place

2^nd place

4,903^rd place

875^th place

1larecherche.fr

low place

1,316^th place

github.com

« Release Coq 8.19.1 », 4 mars 2024 (consulté le 14 mars 2024)

inria.fr

msr-inria.inria.fr

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

larecherche.fr

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

lemonde.fr

binaire, « Christine Paulin et les Logiciels Zéro Défaut », sur binaire, 24 septembre 2015 (consulté le 18 mars 2020)

ouvrirlascience.fr

« Remise des prix science ouverte du logiciel libre de la recherche », 5 février 2022 (consulté le 6 février 2022)

sigplan.org

« Programming Languages Software Award » (consulté le 6 février 2022)