13,456 reputation
12666
bio website
location
age
visits member for 2 years, 1 month
seen Feb 17 at 10:08

Computational Logic researcher and LaTeX lover.


343
× 83
31
23
× 4
17
219
× 48
29
× 6
22
× 4
16
71
× 20
28
× 3
21
× 5
16
62
× 7
27
21
× 4
15
× 4
53
× 9
26
20
× 4
15
× 3
49
× 11
26
19
× 3
14
× 2
45
× 7
26
19
× 2
13
43
× 11
26
18
× 3
12
× 2
40
× 7
26
18
× 3
12
× 2
36
× 4
25
× 3
17
× 4
12
36
× 2
24
× 6
17
× 3
11
34
× 5
23
× 6
17
× 2
10
× 4
32
× 5
23
× 5
17
10
× 3