Coq (Greek Wikipedia)

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

Last modified: 07:29:41, 1 September 2022 (UTC)

Ref.Un. Ref.Website

Global rank Greek rank

6,372^nd place

low place

11web.archive.org

1^st place

1^st place

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

coq.inria.fr

A short introduction to Coq.

inria.fr

«Development of theories and tactics: Four Color Theorem». Αρχειοθετήθηκε από το πρωτότυπο στις 22 Φεβρουαρίου 2007. Ανακτήθηκε στις 4 Νοεμβρίου 2010.

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

«Development of theories and tactics: Four Color Theorem». Αρχειοθετήθηκε από το πρωτότυπο στις 22 Φεβρουαρίου 2007. Ανακτήθηκε στις 4 Νοεμβρίου 2010.