Revision 7e6a58a7d67eca4e02272caaed9efa24545cabd8

StartSsreflect

Changes from 7e6a58a7d67eca4e02272caaed9efa24545cabd8 to d11517943ea38bcc981db4666ae9f94312d6b360

- 04/26 [StartSsreflect]()
- 時間: 13:30 - 17:30
- 場所: 名古屋大学 (*未定*)
- 場所: 名古屋大学 [多元数理科学棟](http://www.math.nagoya-u.ac.jp/ja/direction/campus.html) 309
- 参加登録: [#ProofCafe - Partake](http://partake.in/events/9947b288-e465-45aa-bf71-b83b77d31253)
- 初めてCoqやSsreflectを触る方のためのイベント「スタートssreflect」を行います。ぜひご参加ください。