Nov 19, 2008

How To (really) Trust A Mathematical Proof

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

About
Daily Meh is written and edited by Simen (contact me). I live in Norway. This blog is about whatever interests me. Here are some of my favorite posts from the archives. You can subscribe via RSS.