|visits||member for||3 years, 10 months|
|seen||2 hours ago|
Enjoys programming in Prolog. Will solve math problems for food.
Rosser's trick: "For every proof of me, there is a shorter proof of my negation".
|bio||website||uclue.com||visits||member for||3 years, 10 months|
|location||Knoxville, TN||seen||2 hours ago|