en/Front Page
ProofCafe
ProofCafe is a study club about proof of programs at Nagoya, Japan. Let’s prove with us.

a study meeting
abstract
- Date: fourth Saturday of every month
- Place: Cafe DOERYA
- HashTag: #proofcafe
Next meeting
What a member of ProofCafe made
Using Coq
- Garbage Collection
- ocamltter: twitter client
- MessagePack Library