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