ProofCafe

ProofCafe

f:id:mzp:20100522164506j:image

ProofCafe has moved

ProofCafe勉強会のWikiは移動しました。こちらをご覧ください。

ProofCafe - Front Page

以下は昔のProofCafeに関する情報です。

ProofCafe(栄)とは

CPDTを読みながら、みんなで楽しくCoqを勉強する会です。現在はCPDTというドキュメントを読んでいます。

コーヒーを飲みながらペアプルしましょう。


概要

資料

ProofCafe(栄)メンバーが作った(作っている)もの

ocaml-nagoyaとは

関数型言語OCamlの勉強会です。OCamlやラムダ計算に興味のある人が集まっています。

http://www.itpl.co.jp/ocaml-nagoya/

これまでの活動