Coq (Software) (German Wikipedia)

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

refsWebsite

Global rank German rank

4,903^rd place

low place

383^rd place

343^rd place

8,551^st place

1,915^th place

low place

451^st place

2,351^st place

1^st place

ams.org

Feit-Thompson proved in Coq (Memento vom 19. November 2016 im Internet Archive), Microsoft Research-Inria, 20. September 2012, Web-Archive.