- 12/28 [Schedule/ProofCafe_34]()
- 時間: 13:30 - 17:30
- 場所: 名古屋大学[多元数理科学棟](http://www.math.nagoya-u.ac.jp/ja/direction/campus.html) 309
- 参加登録:[#ProofCafe - Partake](http://partake.in/events/1ee90a8a-b057-4808-b7ce-6c4eef929ee0)
- [Ssreflect](http://hal.inria.fr/inria-00258384/)
- [Ssreflectのライブラリ](http://ssr2.msr-inria.inria.fr/doc/ssreflect-1.4/index.html)
- [ソフトウェアの基礎](http://proofcafe.org/sf/) 今回はEquiv_Jの練習問題WHILE_trueから
- ドキュメントはCoqソースコードから自動生成されています。ソースコード全体はこちら: [http://proofcafe.org/sf/sfja.tar.gz]()
- ハッシュタグ: [#proofcafe](http://twitter.com/#!/search/realtime/%23proofcafe)
- 人数: 8人