Coq (Portuguese Wikipedia)

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

refsWebsite

Global rank Portuguese rank

4,903^rd place

low place

low place

low place

low place

low place

1,185^th place

1,301^st place

acm.org

techpolicy.acm.org

Dopplick, Renee. Open Source Coq Wins ACM Software System Award. Acesso em: 02 dez. 2018.

inria.fr

coq.inria.fr

The Coq Proof Assistant. What is Coq?. Acesso em: 02 dez. 2018
The Coq Proof Assistant. Coq 8.8.2 is out. Acesso em: 02 dez. 2018

ocaml.org

OCaml. Success Stories. Acesso em: 02 dez. 2018

sigplan.org

ACM SIGPLAN. Programming Languages Software Award. Acesso em: 02 dez. 2018.