ProofCafe

[読]ぷるーふかふぇ

[カテゴリ]勉強会

コミュニティ情報 †

• 設立はいつでしょうか？

2010年4月25日です。

• 活動地域は？

名古屋大学、栄など

• 主な活動内容は？

毎月第4土曜日に集まって、プログラムの証明に関する技術を勉強します。

• そのOSSの特徴やオススメ機能は？

Coqを使って、プログラムの挙動について証明を行うという、証明駆動開発が可能となります。

コミュニティサイト情報 †

ProofCafeコミュニティサイト

http://proofcafe.org/wiki/