Revision d11517943ea38bcc981db4666ae9f94312d6b360

StartSsreflect

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