Revision a2d0c6b2850784f11c04b6c99e3a79e260078375

Front Page

English

ProofCafe

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

過去読んでいた文書

勉強会の様子

勉強会の様子

概要

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

スケジュール

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

Coqで実装

Coqの拡張

Coqの応用

勉強したことしてること

リンク