第72回 ProofCafe - 参加者・申込者一覧

イベント参加者・申込者一覧

管理者5人
yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...
iitaka1142
morita_hm
lion
SUHARA Hiromichi ProofCafe -名古屋Coq勉強会- の共同主催者です。問い合わせは、twitter ...

参加枠1 参加者 6人
参加枠1 参加者 morita_hm 第72回 ProofCafe に参加を申し込みました！
参加枠1 参加者 hitbit 第72回 ProofCafeに参加を申し込みました！
参加枠1 参加者 SUHARA Hiromichi ProofCafe -名古屋Coq勉強会- の共同主催者です。問い合わせは、twitter ... 第72回 ProofCafe に参加を申し込みました！
参加枠1 参加者 keigoi Haskell programmer / OCaml programmer at IT Pla... 第72回 ProofCafe に参加を申し込みました！
参加枠1 参加者 ahuglajbclajep 第72回 ProofCafeに参加を申し込みました！
参加枠1 参加者 Frédéric Bour I joined 第72回 ProofCafe!