Coq (Finnish Wikipedia)

Analysis of information sources in references of the Wikipedia article "Coq" in Finnish language version.

Last modified: 07:58:00, 10 November 2022 (UTC)

Ref.Un. Ref.Website

Global rank Finnish rank

6,372^nd place

6,175^th place

low place

low place

11web.archive.org

1^st place

1^st place

inria.fr (Global: 6,372^nd place; Finnish: 6,175^th place)

coq.inria.fr

What is Coq ? | The Coq Proof Assistant coq.inria.fr.

msr-inria.fr (Global: low place; Finnish: low place)

Feit thomson proved in coq - Microsoft Research Inria Joint Centre www.msr-inria.fr. Arkistoitu 19.11.2016. Viitattu 7.12.2015. (englanniksi)

web.archive.org (Global: 1^st place; Finnish: 1^st place)

Feit thomson proved in coq - Microsoft Research Inria Joint Centre www.msr-inria.fr. Arkistoitu 19.11.2016. Viitattu 7.12.2015. (englanniksi)