Theorem Provingのアドベントカレンダーに参加しようと思ったのだが、現時点で参加者5人。 このままだとどうなるのだろうか・・・? できれば参加者求む。
おめでとうございます。 ソフトバンクと書かない辺りがミソ。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。