Rocq (German Wikipedia)

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

refsWebsite

Global rank German rank

2github.com

383^rd place

343^rd place

2rocq-prover.org

low place

2inria.fr

4,903^rd place

low place

1openhub.net

8,551^st place

1,915^th place

1coq.github.io

low place

1ams.org

451^st place

2,351^st place

1web.archive.org

1^st place

ams.org (Global: 451^st place; German: 2,351^st 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: 383^rd place; German: 343^rd place)

Rocq 9.1.0. 15. September 2025.
Coq roadmap 069. Abgerufen am 14. April 2025.

inria.fr (Global: 4,903^rd place; German: low place)

coq.inria.fr

openhub.net (Global: 8,551^st place; German: 1,915^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.

Rocq (German Wikipedia)

ams.org (Global: 451st place; German: 2,351st place)

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

github.com (Global: 383rd place; German: 343rd place)

inria.fr (Global: 4,903rd place; German: low place)

coq.inria.fr

openhub.net (Global: 8,551st place; German: 1,915th place)

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

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

ams.org (Global: 451^st place; German: 2,351^st place)

github.com (Global: 383^rd place; German: 343^rd place)

inria.fr (Global: 4,903^rd place; German: low place)

openhub.net (Global: 8,551^st place; German: 1,915^th place)

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