Event Participants

Organizer1 people

Event Attendees

Attendee List

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

Canceled Attendees

参加枠1 Cancel 1 people