用户：Rob Arthan

我做计算机科学（更具体地说是形式方法和自动定理证明）是为了商业，我做数学是为了商业（当我被要求时）和娱乐（当我不被要求时）。我贡献了一些序列和奇怪的评论。