『Coq/SSReflect/MathCompによる定理証明』読書会(4) - Attendee List

Attendee List

Organizer1 people
7shi キモヲタ。勉強会とかやっています。低レイヤ/自然言語/数学/物理（すべて素人）

参加枠1 Attendees 8 people
参加枠1 Attendees stmtk 『Coq/SSReflect/MathCompによる定理証明』読書会(4)に参加を申し込みました！
参加枠1 Attendees takarakasai https://t.co/mczBRVf8MB 組込SWエンジニアだけど、見えてるのはユーザ... I joined 『Coq/SSReflect/MathCompによる定理証明』読書会(4)!
参加枠1 Attendees ymorii47 I joined 『Coq/SSReflect/MathCompによる定理証明』読書会(4)!
参加枠1 Attendees suridaisuki ホームページの管理人ですが、更新が停滞していてすみません……学問(数学・物理・言語学)・天体観... 『Coq/SSReflect/MathCompによる定理証明』読書会(4) に参加を申し込みました！
参加枠1 Attendees krxross 『Coq/SSReflect/MathCompによる定理証明』読書会(4) に参加を申し込みました！
参加枠1 Attendees saitouena 斉藤恵那ブログ日記を書き始めた https://t.co/RewNdlESnW I joined 『Coq/SSReflect/MathCompによる定理証明』読書会(4)!
参加枠1 Attendees warabanshi 酒飲み。自転車乗り。web屋。『Coq/SSReflect/MathCompによる定理証明』読書会(4) に参加を申し込みました！
参加枠1 Attendees kagamiwari male 『Coq/SSReflect/MathCompによる定理証明』読書会(4)に参加を申し込みました！