Coq

Examples

• All

• In our software course, we learned how to use Coq for formal verification.

• When developing algorithms, many engineers rely on Coq to ensure their code is error-free.

• Um, where does coq au vin come from?

  Here Comes the Boom (2012)

• The night before that we had coq au vin.

  Dad (1989)

• This is coq au vin.

  Here Comes the Boom (2012)

• You never ate coq au vin?

  Donnie Brasco (1997)

• "All right, let's have coq au vin."

  Fiction book (1993)

• What's coq au vin?

  The Ballad of Cable Hogue (1970)

• Coq au vin, please.

  Factory Girl (2006)

• We ordered coq au vin and tenderloin braised in anisette.

  Fiction book (2002)

Synonyms

M

Mizar

vsCoq

• Specialized

9.9

A computer system for writing and checking exact mathematical proofs

includes verification of software correctness as well as mathematical proofs

P

prover

vsCoq

• Specialized

7.5

A person or program that checks math and logic arguments

is a full software system for writing and checking proofs rather than a general demonstrator

Compounds

C

coq au vin

3 8.5

A French dish of chicken cooked slowly in red wine with onions and mushrooms

How Formal

Coq

• Specialized

3 9.9

formal system

• Specialized

1 9.8

logical diagram

• Specialized

5.9

flowchart

3 3.8

diagram

88 2.8

sketch

150 2.5

Surface Forms

Etymology