Event Participants

Organizer1 people

Event Attendees

Attendee List

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