Coq (Chinese Wikipedia)

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

refsWebsite
Global rank Chinese rank
1st place
1st place
4,903rd place
7,274th place
low place
low place
383rd place
336th place
low place
low place
565th place
664th place

chlipala.net

adam.chlipala.net

github.com

inria.fr

coq.inria.fr

univ-paris-diderot.fr

pps.univ-paris-diderot.fr

  • PI.R2. [2014-01-23]. (原始内容存档于2013-12-17). 

web.archive.org

yale.edu

flint.cs.yale.edu