Front Page

English

ProofCafe

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

  • 日時 : 毎月第3土曜 14:30〜16:00ごろまで。
  • ハッシュタグ: #proofcafe
勉強会の様子

勉強会の様子

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

スケジュール

過去読んでいた文書

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

Coqで実装

Coqの拡張

Coqの応用

勉強したことしてること

リンク

協賛