Index: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Home > Coq

In automated theorem proving, Coq is a proof assistant which handles mathematical assertions, checks mechanically 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.

It was developed in France, in the LogiCal project, jointly operated by INRIA, École Polytechnique, University Paris XI and CNRS (there was also formerly a group at École Normale Supérieure de Lyon). The team leaders are Pr Gilles Dowek and Pr Christine Paulin-Mohring. Coq is written in the Ocaml programming language.

Coq means " rooster" in French - and Thierry Coquand (along with Gérard Huet ) developed the aforementioned Calculus of Constructions.

External links

http://coq.inria.fr/

<Hide>

Topics: Coquimbo Region Of Chile, Coquille Oregon, Coquette...

Coquimbo Region of ChileThe region of Coquimbo is also known as Region IV in Chile. It is some 400 km to the north of Santiago. The capital and largest city is La Serena, an attractive beach resort. Coquimbo, which has a more industrial past than La Serena, is also a beach resor	Coquille, OregonCoquille is a city that is the county seat of Coos County, Oregon. As of the 2000 census, the city had a total population of 4,184. The primary economic base is the timber industry. The city derives its name from the Coquille Indian tribe. Geography Coqui	CoquetteCoquette is a 1929 film which tells the story of a flirtatious young woman whose father warns off her honorable boyfriend, only to cause tragedy. It stars Mary Pickford, Johnny Mack Brown, John St. Polis, Matt Moore, and Louise Beavers. The movie was adap
Coq au VinMany French regions claim coq au vin or chicken stew, as their own, but legend has it that the recipe originated with Caesar's chef. Different variants exist throughout the country. Nearly all recipes other than those altered for low-fat diets start with	Coquitlam, British ColumbiaCoquitlam is a mid-sized city in the Lower Mainland of British Columbia, Canada, bordering the cities of Burnaby, New Westminster, Port Moody, and Port Coquitlam. The city has a total population of 113,498. Geography Coquitlam is a suburb of Vancouver, Br	CoquilleCoquille, Oregon Coquille River Coquille Native American tribe.
Coquille (tribe)	Coquet Island	Coquina
Coquainvilliers	Coq	Coquille River

Non User