Coq勉強会 - (SF読み進捗ダメです会議) -  #39 Coq勉強会 - (SF読み進捗ダメです会議) - #39

イベント参加者・申込者一覧

イベント関係者

管理者4人

イベント申込者

参加者一覧

参加枠1 参加者 5人
Coq勉強会 - (SF読み進捗ダメです会議) - #39 に参加を申し込みました!
Coq勉強会 - (SF読み進捗ダメです会議) - #39 に参加を申し込みました!
I joined Coq勉強会 - (SF読み進捗ダメです会議) - #39!
Coq勉強会 - (SF読み進捗ダメです会議) - #39に参加を申し込みました!
Coq勉強会 - (SF読み進捗ダメです会議) - #39 に参加を申し込みました!