Event Participants

Organizer1 people

Event Attendees

Attendee List

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