How To (really) Trust A Mathematical Proof

dailymeh:

Science News on proof assistants (one is called Coq).