csproofs Just some of my CS Proofs, things like why k << 1 == k * 2 The compiled PDF's are left for the convenience of other visitors to the repository.