今考えていることを書きます。

１．都内でCoq大会を開きたい。ゲーム形式でCoqの技能を競う。
２．Coqの数式操作をGUIでできるようにしたい。部分数式ごとに適用できるタクティクを「見える化」したい。
３．Coq Twitter BotやCoq onlineを作りたい。