Revision 7e6a58a7d67eca4e02272caaed9efa24545cabd8

StartSsreflect

Changes from beginning to 7e6a58a7d67eca4e02272caaed9efa24545cabd8

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