http://www.cs.uwyo.edu/~ruben/blog Prognostications, Epiphanies, and Banalities Fri, 10 Apr 2009 19:59:37 +0000 http://wordpress.org/?v=2.8.4 en hourly 1 http://www.cs.uwyo.edu/~ruben/blog/2005/12/gthm-does-the-world-need-another-theorem-prover/ http://www.cs.uwyo.edu/~ruben/blog/2005/12/gthm-does-the-world-need-another-theorem-prover/#comments Fri, 02 Dec 2005 21:42:20 +0000 ruben http://www.cs.uwyo.edu/~ruben/blog/?p=6 http://www.cs.uwyo.edu/~ruben/blog/2005/12/gthm-does-the-world-need-another-theorem-prover/feed/ 0