coqtokyo 第5回Ssreflect勉強会 - Attendee List

Attendee List

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

参加枠 Attendees 6 people
参加枠 Attendees nagaet 最近は伊藤潤二の作品を好んで読んでいます。 coqtokyo 第5回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees slipstream coqtokyo 第5回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees kappa coqtokyo 第5回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel... coqtokyo 第5回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees SUHARA Hiromichi ProofCafe -名古屋Coq勉強会- の共同主催者です。問い合わせは、twitter ... coqtokyo 第5回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees nekonibox 理学博士。専門は数学で、専攻は数理論理学が最も近いです。定理証明支援系Coqを使った形式証明... coqtokyo 第5回Ssreflect勉強会に参加を申し込みました！