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.