Revision face22eaf673a0f7f72bb46085853349d7c5e604

StartSsreflect

Changes from face22eaf673a0f7f72bb46085853349d7c5e604 to current

- 04/26 [StartSsreflect]()
# 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
## 報告

- [当日座席表](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 ハンズオン: 演習