# 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」を行います。ぜひご参加ください。 ## 報告 - [当日座席表](https://docs.google.com/drawings/d/1b1jWqOpW5L6QA-uUrF9cOQfqedv10jU70Em8NT4ZsQI/edit?pli=1) - [インストール報告](https://docs.google.com/spreadsheets/d/1X_vRVO3eizebOyG4tjcChzUZofrE9AGWwMEqUCyKKHs/edit?pli=1#gid=0) ## タイムスケジュール - 13:00 開場 - 13:30 Coqの紹介 (なぜCoqは重要か @yoshihiro503) - 14:00 Ssreflectの紹介 (@mzp) - 14:30 ハンズオン: インストール - 15:30 ハンズオン: 演習