Coq (Ukrainian Wikipedia)

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

refsWebsite

Global rank Ukrainian rank

2web.archive.org

1^st place

1^st place

4,903^rd place

6,264^th place

low place

low place

1quantamagazine.org

6,413^th place

low place

chlipala.net (Global: low place; Ukrainian: low place)

adam.chlipala.net

Adam Chlipala. Library Universes (англ.). Архів оригіналу за 2 січня 2014. Процитовано 3 грудня 2019.

inria.fr (Global: 4,903^rd place; Ukrainian: 6,264^th place)

coq.inria.fr

Coq 8.10.2 is out. 29 листопада 2019. Архів оригіналу за 31 грудня 2019. Процитовано 30 листопада 2019.

quantamagazine.org (Global: 6,413^th place; Ukrainian: low place)

Hartnett, Kevin (19 травня 2015). Will Computers Redefine the Roots of Math?. Quanta Magazine.

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

Coq 8.10.2 is out. 29 листопада 2019. Архів оригіналу за 31 грудня 2019. Процитовано 30 листопада 2019.
Adam Chlipala. Library Universes (англ.). Архів оригіналу за 2 січня 2014. Процитовано 3 грудня 2019.