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