開催前 2025/04/01（火） 19:00〜

coqtokyo 第6回Coq Platform勉強会

tmiya_ 他

オンライン

2人

終了 2025/03/18（火） 19:00〜

coqtokyo 第5回Coq Platform勉強会

tmiya_ 他

オンライン

7人

終了 2025/03/04（火） 19:00〜

coqtokyo 第4回Coq Platform勉強会

tmiya_ 他

オンライン

6人

終了 2025/02/18（火） 19:00〜

coqtokyo 第3回Coq Platform勉強会

tmiya_ 他

オンライン

9人

終了 2025/02/04（火） 19:00〜

coqtokyo 第2回Coq Platform勉強会

tmiya_ 他

オンライン

8人

終了 2025/01/21（火） 19:00〜

coqtokyo 第1回Coq Platform勉強会

tmiya_ 他

オンライン

6人

終了 2025/01/07（火） 19:00〜

coqtokyo 第46回MathComp Book勉強会

tmiya_ 他

オンライン

6人

終了 2024/12/10（火） 19:00〜

coqtokyo 第45回MathComp Book勉強会

tmiya_ 他

オンライン

6人

終了 2024/11/12（火） 19:00〜

coqtokyo 第44回MathComp Book勉強会

tmiya_ 他

オンライン

5人

終了 2024/10/29（火） 19:00〜

coqtokyo 第43回MathComp Book勉強会

tmiya_ 他

オンライン

6人

終了 2024/10/15（火） 19:00〜

coqtokyo 第42回MathComp Book勉強会

tmiya_ 他

オンライン

5人