# ProofCafe

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

![勉強会の様子](http://s1-02.twitpicproxy.com/photos/large/429834625.jpg)

## 概要

- 日時 : 毎月第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)
- [ocamltter](): ターミナルで動作する対話的twitterクライアント
- [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)

## Coqの応用
- [cochin](http://proofcafe.org/cochin/)
- [Coq for iPad](https://github.com/mzp/coq-for-ipad)

## 勉強したことしてること
- [Coq]()
- [ProofGenral]()

## リンク
- [ocaml-nagoya](http://www.itpl.co.jp/ocaml-nagoya/)