mostafatouny/awesome-theoretical-computer-science
Math & CS awesome List, distinguished by proof and logic technique
[view on github]last commit: Jan 30, 2026
stars
1,131
7d
+3
30d
+29
90d
+55
## star history
## found in
Math & CS awesome List, distinguished by proof and logic technique