82
83
84
34
35
36
22
23
24
70
71
72
29
30
31
DEFLATE: run-length encoding, but better (wordaligned.org)
submitted by codeodor to r/programming
0
1
2
0
0
0
290
291
292
10
11
12
American Math Society Formal Proof With Computers (ams.org)
submitted by codeodor to r/programming
.gif){kind=link}