ProofCafe の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• ProofCafe へ行く。
• ProofCafe の差分を削除

[読]ぷるーふかふぇ

[カテゴリ]
[カテゴリ]勉強会


*コミュニティ情報 [#k2be88d7]

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

2010年4月25日です。

-活動地域は？

名古屋大学、栄など

-主な活動内容は？

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

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

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

*コミュニティサイト情報 [#v2c4d5b0]

ProofCafeコミュニティサイト

http://proofcafe.org/wiki/