- 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」を行います。ぜひご参加ください。