ProofCafe

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

abstract

• Date: fourth Saturday of every month
• Place: Cafe DOERYA
• HashTag: #proofcafe

Next meeting

Schedule

What a member of ProofCafe made

Using Coq

• Garbage Collection
• ocamltter: twitter client
• MessagePack Library

Extensions of Coq

• Coq2Ruby
• Coq2Clojure
• Coq2Scala

Other

• cochin
• Coq for iPad

Links

• ocaml-nagoya