Revision b397707c0da0935d344b135b6f7bc5d01ac60d43

Front Page

English

ProofCafe

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

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

勉強会の様子

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

スケジュール

過去読んでいた文書

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

Coqで実装

Coqの拡張

Coqの応用

勉強したことしてること

リンク

協賛