ProofCafe
2013-04-30 (火) 17:03:49
[読]ぷるーふかふぇ
[カテゴリ]勉強会
コミュニティ情報 †
- 設立はいつでしょうか?
2010年4月25日です。
- 活動地域は?
名古屋大学、栄など
- 主な活動内容は?
毎月第4土曜日に集まって、プログラムの証明に関する技術を勉強します。
- そのOSSの特徴やオススメ機能は?
Coqを使って、プログラムの挙動について証明を行うという、証明駆動開発が可能となります。
コミュニティサイト情報 †
ProofCafeコミュニティサイト