Event Participants

Organizer1 people

Event Attendees

Attendee List

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