coqtokyo 第22回Ssreflect勉強会 - Attendee List

Attendee List

Organizer5 people
tmiya_ 関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
khibino 仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明...
yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...
eldesh アレゲを目指すC++, ML, VeriFastプログラマ
takumi-kato

参加枠 Attendees 5 people
参加枠 Attendees yukiyam99999999999999999999999 coqtokyo 第22回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees takumi-kato coqtokyo 第22回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees yak_ex coqtokyo 第22回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees tanaka_akr coqtokyo 第22回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel... coqtokyo 第22回Ssreflect勉強会に参加を申し込みました！