Revision c9fda2d35f437b515e258c0576550a9db4ae1366

Front Page

English

ProofCafe

ProofCafeは名古屋でプログラムの証明について勉強する勉強会です。現在はCPDTというドキュメントを読んでいます。コーヒーを飲みながら楽しく証明しましょう。

勉強会の様子

勉強会の様子

概要

  • 日時 : 毎月第4土曜 14:30〜17:00ごろまで。
  • 場所 : 喫茶どえりゃあ
  • 費用 : コーヒー代
  • 持ち物: あなたのラップトップまたは資料
  • ハッシュタグ: #proofcafe

次回勉強会とこれまでの活動

スケジュール

ProofCafeのメンバーが作ったもの作っているもの

Coqで実装

Coqの拡張

Coqの応用

勉強したことしてること

リンク