Coq.io

We collected one metadata history record for Coq.io. Coq has a poor description which rather negatively influences the efficiency of search engines index and hence worsens positions of the domain.