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

Attendee List

Event Participants

Organizer1 people

Event Attendees

Attendee List
参加枠1 Attendees 13 people
I joined 『Coq/SSReflect/MathCompによる定理証明』読書会(3)!
『Coq/SSReflect/MathCompによる定理証明』読書会(3)に参加を申し込みました！
『Coq/SSReflect/MathCompによる定理証明』読書会(3)に参加を申し込みました！
『Coq/SSReflect/MathCompによる定理証明』読書会(3) に参加を申し込みました！
『Coq/SSReflect/MathCompによる定理証明』読書会(3)に参加を申し込みました！
『Coq/SSReflect/MathCompによる定理証明』読書会(3) に参加を申し込みました！
I joined 『Coq/SSReflect/MathCompによる定理証明』読書会(3)!
『Coq/SSReflect/MathCompによる定理証明』読書会(3)に参加を申し込みました！
今日はこちらのアカウントから参加
I joined 『Coq/SSReflect/MathCompによる定理証明』読書会(3)!
『Coq/SSReflect/MathCompによる定理証明』読書会(3) に参加を申し込みました！
『Coq/SSReflect/MathCompによる定理証明』読書会(3) に参加を申し込みました！
『Coq/SSReflect/MathCompによる定理証明』読書会(3) に参加を申し込みました！

Canceled Attendees
参加枠1 Cancel 1 people
すみません。本を持ってくるのを忘れてしまったのでキャンセルします。

Group Information

Coq読書会

Members 35 people
Number of events 12

Past Event

Connecting with Other Attendees

Connect with Twitter and Facebook on the Settings page.

You can get notifications about events that your friends attend or organize via email or the highlight page.

Learn More (Japanese)