用户：Rob Arthan

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