Coq (Finnish Wikipedia)

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

refsWebsite

Global rank Finnish rank

4,903^rd place

low place

low place

low place

1web.archive.org

1^st place

1^st place

inria.fr

coq.inria.fr

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

msr-inria.fr

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

web.archive.org

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