[English](/en/Front Page)

# ProofCafe

ProofCafeは名古屋でプログラムの証明について勉強する勉強会です。現在は[ソフトウェアの基礎](http://proofcafe.org/sf/)というドキュメントを読んでいます。コーヒーを飲みながら楽しく証明しましょう。
[イラストとロゴについて](Pictures)

- 日時 : 毎月第3土曜 14:30〜16:00ごろまで。 
- ハッシュタグ: [#proofcafe](http://twitter.com/#!/search/realtime/%23proofcafe)

![勉強会の様子](http://twitpic.com/show/thumb/73wuip.jpg)

## 次回勉強会とこれまでの活動
[スケジュール](Schedule)

## 過去読んでいた文書
- [CPDT]()

## 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)
- [Coq4iOS](https://github.com/keigoi/coq4ios)

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

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

## 協賛
- [有限会社 ITプランニング](http://www.itpl.co.jp/)