[日本語](/Front Page)

# ProofCafe

ProofCafe is a study club about proof of programs at Nagoya, Japan. Let's prove with us.

![a study meeting](http://twitpic.com/show/thumb/73wuip.jpg)

## abstract

- Date: fourth Saturday of every month
- Place: [Cafe DOERYA](http://doerya.gensg.jp/)
- HashTag: [#proofcafe](http://twitter.com/#!/search/realtime/%23proofcafe)

## Next meeting
[Schedule](/Schedule)

## What a member of ProofCafe made
### Using Coq
- [Garbage Collection](http://github.com/mzp/gc)
- [ocamltter](): twitter client
- [MessagePack Library](http://github.com/mzp/msgpack-ocaml)

### Extensions of Coq
- [Coq2Ruby](http://github.com/mzp/coq-ruby)
- [Coq2Clojure](http://patch-tag.com/r/leque/coq-clojure-ext/home)
- [Coq2Scala]()

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


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

## Supporters
- [IT Plannning, Inc.](http://www.itpl.co.jp/en/index.html)