Upcoming Events

Public 2019/05/30(Thu) 20:00〜

『Coq/SSReflect/MathCompによる定理証明』読書会(4)

7shi 7shi

東京都豊島区南池袋1-16-20 (ぬかりやビル2階)

5/12

Finished Events View all events (4)

Ended 2019/05/16(Thu) 20:00〜

『Coq/SSReflect/MathCompによる定理証明』読書会(3)

7shi 7shi

東京都豊島区南池袋1-16-20 (ぬかりやビル2階)

13/25

Ended 2019/04/18(Thu) 20:00〜

『Coq/SSReflect/MathCompによる定理証明』読書会(2)

7shi 7shi

東京都豊島区南池袋1-16-20 (ぬかりやビル2階)

10/25

Ended 2019/04/04(Thu) 20:00〜

『Coq/SSReflect/MathCompによる定理証明』読書会(1)

7shi 7shi

東京都豊島区南池袋1-16-20 (ぬかりやビル2階)

14/25

Members 28

Organizer

  • 7shi

Other Members

  • Midoliy
  • stmtk
  • suridaisuki
  • airazami
  • ssmi
  • warabanshi
  • Takeshi UME Imai
  • takumi-kato
  • saitouena
  • kagamiwari
  • Shintaro SOYAMA
  • jx7548469
  • lion
  • takarakasai
  • tanaka_akr
  • t_uchida
  • wat_aro
  • yoshihiro503
  • saikyouyakist
  • JeongwonMin

Media(0)

    If you add media to group events the most recent 10 media items are shown.