#[English](/en/Front Page)

# ProofCafe

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

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

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

ProofCafe - connpass [https://proofcafe.connpass.com]()

## 過去読んでいた文書
#- [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/)