http://blog.dolphinling.net ...whatever goes through my head... Thu, 20 Aug 2009 21:48:47 +0000 en hourly 1 http://wordpress.org/?v=3.0.1 http://blog.dolphinling.net/2008/10/vdash/ http://blog.dolphinling.net/2008/10/vdash/#comments Sat, 11 Oct 2008 03:41:34 +0000 dolphinling http://blog.dolphinling.net/?p=206 http://vdash.org/ looks very interesting. It also looks like the kind of thing that could help me practice with really formalizing my proofs (though I think currently I usually know how, I’m just too lazy).

]]> http://blog.dolphinling.net/2008/10/vdash/feed/ 0