- 02/22 [Schedule/Proofcafe_36]()
- 時間: 13:30 - 17:30
- 場所: 名古屋大学 [多元数理科学棟](http://www.math.nagoya-u.ac.jp/ja/direction/campus.html) 309
- 参加登録: [#ProofCafe - Partake](http://partake.in/events/c45ce75e-9562-4e8e-9344-0a4df0be2ff2)
- Ssreflect: Ssrboolから ([Ssreflect](http://hal.inria.fr/inria-00258384/), [Ssreflectのライブラリ](http://ssr2.msr-inria.inria.fr/doc/ssreflect-1.4/index.html), [Ssreflect tutorial](http://hal.archives-ouvertes.fr/docs/00/40/77/78/PDF/RT-367.pdf), [kikさんのチートシート](http://kikwiki.wikkii.com/wiki/SSReflect_CheatSheet_-_Proving))
- [ソフトウェアの基礎](http://proofcafe.org/sf/) 今回はEquiv_Jの「プログラムが同値でないことを証明する」から
- ドキュメントはCoqソースコードから自動生成されています。ソースコード全体はこちら: [http://proofcafe.org/sf/sfja.tar.gz]()
- ハッシュタグ: [#proofcafe](http://twitter.com/#!/search/realtime/%23proofcafe)