証明ハッカソン at 名古屋

参加者

1. mzp : Coqにて参加します。 おひるごろに一回抜けます。
2. yoshihiro503 : Coqで参加します。よろしくお願いします。
3. cho_tekitou : よろしくお願いします。Coq力を上げたいです。
4. yami_vreco : Coq挫折してもうずっと触ってないですけれど、これを機にCoqに再チャレンジしたいです。予定と天候に恵まれれば行きます。
5. t6s : Coqで参加しますが、あぐだらーとかは果たして来るのか
6. dico_leque : Coq 修行中です。よろしくお願いします。

補欠

現在補欠者はいません

キャンセル

1. keita44_f4 : よろしくお願いします。