Upcoming Events

Public 2019/07/25(Thu) 20:00〜

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

7shi 7shi

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

5/8

Finished Events View all events (8)

Ended 2019/07/11(Thu) 20:00〜

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

7shi 7shi

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

9/12

Ended 2019/06/27(Thu) 20:00〜

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

7shi 7shi

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

10/12

Ended 2019/06/13(Thu) 20:00〜

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

7shi 7shi

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

11/12

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

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

7shi 7shi

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

8/12

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 32

Organizer

  • 7shi

Other Members

  • Sho Kohara
  • mi-chang
  • koji333
  • Matsuzawa Yutaka
  • aintek4
  • Midoliy
  • stmtk
  • suridaisuki
  • airazami
  • ssmi
  • warabanshi
  • Takeshi UME Imai
  • takumi-kato
  • saitouena
  • kagamiwari
  • Shintaro SOYAMA
  • jx7548469
  • lion
  • takarakasai
  • tanaka_akr

Media(0)

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