awesome-theoretical-computer-science. Math & CS awesome List, distinguished by proof and logic technique
