2011-11-20 アドベントカレンダー 雑多 Theorem Provingのアドベントカレンダーに参加しようと思ったのだが、現時点で参加者5人。 このままだとどうなるのだろうか・・・? できれば参加者求む。