vdash

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

Tags: ,

Comments are closed.