en/Front Page

日本語

ProofCafe

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

a study meeting

a study meeting

abstract

Next meeting

Schedule

What a member of ProofCafe made

Using Coq

Extensions of Coq

Other

Supporters