He is known for work on the Weil conjectures, leading finally to a complete proof in 1973.

The complete proof can be obtained by multiplying out this result.

Hales estimates that producing a complete formal proof will take around 20 years of work.

Nothing, of course, can be complete proof against criminality.

The fact that a dog acted like a chicken was not complete proof.

It wouldn't be complete proof, but Colossus did not play cat and mouse.

Cook has since written a paper setting out his complete proof.

The paper contains a complete self-contained proof of the theorem.

If he is dead you will provide explicit and complete proof.

Ryll-Nardzewski himself gave a complete proof in the original spirit.