News FocusMathematics

Have a Coq and a Smile

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

Via your Institution

Log in through your institution

Log in through your institution


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.