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
体調不良のため家で休みます