GitHub repository: keithstellyes/csproofs
Primary language: TeX
Created: 2017-04-07T03:27:25Z
Description: Just some of my CS Proofs, things like why `k << 1 == k * 2`