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

Attendee List

Event Participants

Organizer1 people

Event Attendees

Attendee List
参加枠1 Attendees 8 people
『Coq/SSReflect/MathCompによる定理証明』読書会(11)に参加を申し込みました！
I joined 『Coq/SSReflect/MathCompによる定理証明』読書会(11)!
『Coq/SSReflect/MathCompによる定理証明』読書会(11)に参加を申し込みました！
『Coq/SSReflect/MathCompによる定理証明』読書会(11) に参加を申し込みました！
『Coq/SSReflect/MathCompによる定理証明』読書会(11)に参加を申し込みました！
I joined 『Coq/SSReflect/MathCompによる定理証明』読書会(11)!
『Coq/SSReflect/MathCompによる定理証明』読書会(11) に参加を申し込みました！
『Coq/SSReflect/MathCompによる定理証明』読書会(11)に参加を申し込みました！

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)