News FocusMathematics

Have a Coq and a Smile

See allHide authors and affiliations

Science  04 Mar 2005:
Vol. 307, Issue 5714, pp. 1402
DOI: 10.1126/science.307.5714.1402b

You are currently viewing the summary.

View Full Text

Log in to view the full text

Log in through your institution

Log in through your institution

Summary

Hundreds of computer scientists have devoted more than 30 years to developing mathematical proof assistants in pursuit of an even more elusive grail: self-checking computer code.