← Back to search

Coq

languages

Interactive theorem prover and proof assistant developed by INRIA, based on the Calculus of Constructions

Pronunciation

Correct

kok

/kɒk/

French for 'rooster'. The Coq team and academic community pronounce it as the French word, rhyming with 'rock'. The official Coq documentation reflects this.

Source: coq.inria.fr(official spec)

Suggest a correction