04/26 StartSsreflect

• 時間: 13:30 - 17:30
• 場所: 名古屋大学 多元数理科学棟 309
• 参加登録: #ProofCafe - Partake
• 初めてCoqやSsreflectを触る方のためのイベント「スタートssreflect」を行います。ぜひご参加ください。

報告

• 当日座席表
• インストール報告

タイムスケジュール

• 13:00 開場
• 13:30 Coqの紹介 (なぜCoqは重要か @yoshihiro503)
• 14:00 Ssreflectの紹介 (@mzp)
• 14:30 ハンズオン: インストール
• 15:30 ハンズオン: 演習