Rocq (German Wikipedia)

Analysis of information sources in references of the Wikipedia article "Rocq" in German language version.

Last modified: 22:37:00, 14 May 2026 (UTC)

Ref.Un. Ref.Website

Global rank German rank

380^th place

255^th place

22rocq-prover.org

low place

low place

6,372^nd place

low place

7,372^nd place

1,508^th place

11coq.github.io

low place

low place

434^th place

1,944^th place

11web.archive.org

1^st place

1^st place

ams.org (Global: 434^th place; German: 1,944^th place)

Gonthier: Formal Proof – the Four-Color Theorem, Notices AMS 2008 (PDF; 2,6 MB).

coq.github.io (Global: low place; German: low place)

Coq-Referenzhandbuch – Calculus of Inductive Constructions. Abgerufen am 20. September 2020.

github.com (Global: 380^th place; German: 255^th place)

Rocq 9.2.0. 27. März 2026.
Coq roadmap 069. Abgerufen am 14. April 2025.

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

coq.inria.fr

openhub.net (Global: 7,372^nd place; German: 1,508^th place)

The Coq proof assistant Open Source Project on Open Hub: Languages Page. In: Open Hub. (abgerufen am 18. Juli 2018).

rocq-prover.org (Global: low place; German: low place)

Rocq Changlelog. Abgerufen am 14. April 2025.
About The Rocq Prover. Abgerufen am 14. April 2025.

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

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