Archive for October, 2008

vdash

Friday, October 10th, 2008

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).