117 reputation
4
bio website
location
age
visits member for 1 years
seen Mar 22 at 11:07

Jan
29
accepted Get rid of an existential quantifier
Jan
23
accepted Number of triangles in a graph
Apr
26
accepted Proving By reduction from the Halting Problem