Hacker News Reader

Ok, so this is intro to general proofs instead of software proofs, right?

Yes, it most certainly is.

Aight, thanks! Might add it and others in comments to my collection. Need some basic intros before I do the deep stuff.