Coq (Greek Wikipedia)

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

refsWebsite

Global rank Greek rank

4,903^rd place

low place

1web.archive.org

1^st place

1^st place

inria.fr

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

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