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.
Coquitlam /koʊˈkwɪtləm/ (2011 census population 126,840) is a city in the Lower Mainland of British Columbia, Canada.
The Coquerel's sifaka (Propithecus coquereli) is a diurnal, medium-sized lemur of the sifaka genus Propithecus.
Coquille was a steamboat built in 1908 for service on the Coquille River and its tributaries. Coquille served as a passenger vessel from 1908 to 1916, when the boat was transferred to the lower Columbia River.
The Coquille Indian Tribe is the federally recognized Native American tribe of the Coquille people who have traditionally lived on the southern Oregon Coast.
Coquí is the common name for several species of small frogs in the Eleutherodactylus genus that are native to Puerto Rico.
Coq au vin (/ˌkoʊk oʊ ˈvæn/; French pronunciation: [kɔk o vɛ̃], "rooster/cock with wine") is a French dish of chicken braised with wine, lardons, mushrooms, and optionally garlic.
"Coquettish Jūtai Chū" (コケティッシュ渋滞中) is the 17th single by Japanese idol girl group SKE48. It was released on March 31, 2015. This single and NMB48's new single, Don't Look Back!
Coquimbo is a port city, commune and capital of the Elqui Province, located on the Pan-American Highway, in the Coquimbo Region of Chile.
Coquille /koʊˈkiːl/ is a city in, and the county seat of, Coos County, Oregon, United States. The population was 3,866 at the 2010 census.