Coq (Japanese Wikipedia)

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

Last modified: 00:41:08, 12 October 2026 (UTC)

Ref.Un. Ref.Website

Global rank Japanese rank

380^th place

404^th place

6,372^nd place

low place

11microsoft.com

263^rd place

228^th place

low place

low place

github.com (Global: 380^th place; Japanese: 404^th place)

“Rocq 9.2.0”. 27 March 2026. {{cite web2}}: Cite webテンプレートでは|access-date=引数が必須です。 (説明)
“Change of Name: Coq -> The Rocq Prover”. 2025年3月23日閲覧。

inria.fr (Global: 6,372^nd place; Japanese: low place)

compcert.inria.fr

CompCertのページ(英語)

gforge.inria.fr

Ssreflectの配布元(英語)

microsoft.com (Global: 263^rd place; Japanese: 228^th place)

research.microsoft.com

A computer-checked proof of the Four Colour Theorem Georges Gonthier

msr-inria.fr (Global: low place; Japanese: low place)

証明完了のアナウンス(英語)