# ProofCafe

ProofCafeは名古屋でプログラムの証明について勉強する勉強会です。

## 概要

- 日時 : 毎月第4土曜 14:30〜16:30ごろまで。 
- 場所 : 名古屋・栄のCafe どえりゃあ（セルジュゲンズ）
- 費用 : コーヒー代
- 持ち物: あなたのラップトップまたは資料

## 次回勉強会とこれまでの活動
[Schedule]()