Definitions for COQ
coq

WiktionaryRate this definition:0.0 / 0 votes

1. coqnoun

   A trimming of cock feathers on a woman's hat.

WikipediaRate this definition:0.0 / 0 votes

1. Coq

   Coq is an interactive theorem prover first released in 1989. It allows for expressing mathematical assertions, mechanically checks proofs of these assertions, helps find formal proofs, and extracts a certified program from the constructive proof of its formal specification. Coq works within the theory of the calculus of inductive constructions, a derivative of the calculus of constructions. Coq is not an automated theorem prover but includes automatic theorem proving tactics (procedures) and various decision procedures. The Association for Computing Machinery awarded Thierry Coquand, Gérard Huet, Christine Paulin-Mohring, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, Chetan Murthy, Yves Bertot, and Pierre Castéran with the 2013 ACM Software System Award for Coq. Coq is a wordplay on the name of Thierry Coquand, Calculus of Constructions or "CoC" and is following the French tradition to name tools after animals (coq in French meaning rooster).

WikidataRate this definition:0.0 / 0 votes

1. Coq

   In computer science, Coq is an interactive theorem prover. It allows the expression of mathematical assertions, mechanically checks proofs of these assertions, helps to find formal proofs, and extracts a certified program from the constructive proof of its formal specification. Coq works within the theory of the calculus of inductive constructions, a derivative of the calculus of constructions. Coq is not an automated theorem prover but includes automatic theorem proving tactics and various decision procedures. Coq implements a dependently typed functional programming language. It is developed in France, in the PI.R2 team of the PPS laboratory, jointly operated by INRIA, École Polytechnique, Paris-Sud 11 University, Paris Diderot University and CNRS. There was also formerly a group at École Normale Supérieure de Lyon. The project manager of Coq is Hugo Herbelin. Coq is implemented in OCaml. The word coq means "rooster" in French, and stems from a tradition of naming French research development tools with animal names. It is also a reference to Thierry Coquand, who developed the aforementioned calculus of constructions along with Gérard Huet. Also, at first it was simply called Coc, the acronym of calculus of construction.

Suggested ResourcesRate this definition:0.0 / 0 votes

1. COQ

   What does COQ stand for? -- Explore the various meanings for the COQ acronym on the Abbreviations.com website.

Surnames Frequency by Census RecordsRate this definition:0.0 / 0 votes

1. COQ

   According to the U.S. Census Bureau, Coq is ranked #152628 in terms of the most common surnames in America.
   
   The Coq surname appeared 107 times in the 2010 census and if you were to sample 100,000 people in the United States, approximately 0 would have the surname Coq.
   
   89.7% or 96 total occurrences were Black.
   5.6% or 6 total occurrences were of two or more races.

How to pronounce COQ?

1. Alex

   US English

   David

   US English

   Mark

   US English

   Daniel

   British

   Libby

   British

   Mia

   British

   Karen

   Australian

   Hayley

   Australian

   Natasha

   Australian

   Veena

   Indian

   Priya

   Indian

   Neerja

   Indian

   Zira

   US English

   Oliver

   British

   Wendy

   British

   Fred

   US English

   Tessa

   South African

How to say COQ in sign language?

Numerology

1. Chaldean Numerology

   The numerical value of COQ in Chaldean Numerology is: 2

2. Pythagorean Numerology

   The numerical value of COQ in Pythagorean Numerology is: 8

Examples of COQ in a Sentence

1. Charles de LEUSSE:

   But if the rooster crows, this is not for the farmer. (Mais si le coq a chanté, - Ce n'est pas pour le fermier.)

2. Le Coq:

   I'm kind of a walking photographer, i love exploring new places. One day I was taking a break during an excursion in the Broceliande forest, looking for the best place to settle, when I discovered a small clearing with a tree without leaves. I stayed for hours looking around, taking some pictures and I found Le Coq lying down under the tree. The tree's branches were rising as if to touch the sky.

Popularity rank by frequency of use

References

1. ^ Wiktionary
   https://en.wiktionary.org/wiki/Coq
2. ^ Wikipedia
   https://en.wikipedia.org/wiki/Coq
3. ^ Wikidata
   https://www.wikidata.org/w/index.php?search=COQ
4. ^ Surnames Frequency by Census Records
   https://www.census.gov/topics/population/genealogy/data/2010_surnames.html