117 reputation
4
bio website
location
age
visits member for 1 year, 3 months
seen May 16 at 12:25

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