# ProofCafe

ProofCafeは名古屋でプログラムの証明について勉強する勉強会です。現在は[CPDT]()というドキュメントを読んでいます。コーヒーを飲みながら楽しく証明しましょう。

## 概要

- 日時 : 毎月第4土曜 14:30〜17:00ごろまで。 
- 場所 : [喫茶どえりゃあ](http://doerya.gensg.jp/)
- 費用 : コーヒー代
- 持ち物: あなたのラップトップまたは資料
- ハッシュタグ: [#proofcafe](http://twitter.com/#!/search/realtime/%23proofcafe)

## 次回勉強会とこれまでの活動
[Schedule]()

## ProofCafeのメンバーが作ったもの作っているもの
### Coqで実装
- [マーク&スイープGC](http://github.com/mzp/gc)
- [Twitterクライアント](http://ocaml-nagoya.g.hatena.ne.jp/keyword/ocamltter)
- [MessagePackライブラリ](http://github.com/mzp/msgpack-ocaml)

### Coqの拡張
- [Coq2Ruby](http://github.com/mzp/coq-ruby)
- [Coq2Clojure](http://patch-tag.com/r/leque/coq-clojure-ext/home)
- [Coq2Scala]()
- [Coq2Javascript](http://bitbucket.org/yoshihiro503/coq2javascript)