Coq (Chinese Wikipedia)

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

refsWebsite

Global rank Chinese rank

7web.archive.org

1^st place

1^st place

4,903^rd place

7,274^th place

low place

low place

383^rd place

336^th place

1univ-paris-diderot.fr

low place

low place

565^th place

664^th place

chlipala.net

adam.chlipala.net

Adam Chlipala. "Certified Programming with Dependent Types": "Library Universes" （页面存档备份，存于互联网档案馆）.
Adam Chlipala. "Certified Programming with Dependent Types": "Library GeneralRec" （页面存档备份，存于互联网档案馆）. "Library InductiveTypes" （页面存档备份，存于互联网档案馆）.

github.com

Release Coq 8.19.1. 2024年3月4日 [2024年3月14日].

inria.fr

coq.inria.fr

Coq 8.12.2 is out. 2020-12-11 [2021-08-29]. （原始内容存档于2022-03-23）.
Coq 8.13+beta1 is out. 2020-12-07 [2021-08-29]. （原始内容存档于2022-04-07）.
A short introduction to Coq （页面存档备份，存于互联网档案馆）.

univ-paris-diderot.fr

pps.univ-paris-diderot.fr

PI.R2. [2014-01-23]. （原始内容存档于2013-12-17）.

web.archive.org

Coq 8.12.2 is out. 2020-12-11 [2021-08-29]. （原始内容存档于2022-03-23）.
Coq 8.13+beta1 is out. 2020-12-07 [2021-08-29]. （原始内容存档于2022-04-07）.
A short introduction to Coq （页面存档备份，存于互联网档案馆）.
PI.R2. [2014-01-23]. （原始内容存档于2013-12-17）.
Coq Version 8.0 for the Clueless (174 Hints) （页面存档备份，存于互联网档案馆）. Flint.cs.yale.edu. Retrieved on 2013-11-07.
Adam Chlipala. "Certified Programming with Dependent Types": "Library Universes" （页面存档备份，存于互联网档案馆）.
Adam Chlipala. "Certified Programming with Dependent Types": "Library GeneralRec" （页面存档备份，存于互联网档案馆）. "Library InductiveTypes" （页面存档备份，存于互联网档案馆）.

yale.edu

flint.cs.yale.edu

Coq Version 8.0 for the Clueless (174 Hints) （页面存档备份，存于互联网档案馆）. Flint.cs.yale.edu. Retrieved on 2013-11-07.