COQ

Welcome to the Brand page for “COQ”, which is offered here for Computer software for the writing and the checking of mathematical proofs; retrieval software for the writing and the checking of mathematical proofs; computer programs for the writing and the checking of mathematical proofs;color is not claimed as a feature of the mark.;the english translation of coq in the mark is cock or rooster.;design, development, installation and updating of computer software; technical project planning for computer software; engineering; computer programming; research and development of new computer software products for third parties; duplication of computer programs; consulting, assistance and technical support services, diagnosis of problems in the field of problems with computer software, computer hardware and computers; computer services, providing a website featuring online nondownloadable software tools for editing of texts, still or animated images, musical sounds and interactive disks; conversion of data or documents from physical to electronic media;.

Its status is currently believed to be active. Its class is unavailable. “COQ” is believed to be currently owned by “INRIA; (Institut National de Recherche en; Informatique et en Automatique)”.