ProofCafe のバックアップ差分(No.1)

  • 追加された行はこの色です。
  • 削除された行はこの色です。
[読]ぷるーふかふぇ

[カテゴリ]


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

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

2010年4月25日です。

-活動地域は？

名古屋大学、栄など

-主な活動内容は？

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

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

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

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

ProofCafeコミュニティサイト

http://proofcafe.org/wiki/