Revision face22eaf673a0f7f72bb46085853349d7c5e604

StartSsreflect

  • 04/26 StartSsreflect
  • 時間: 13:30 - 17:30
  • 場所: 名古屋大学 多元数理科学棟 309
  • 参加登録: #ProofCafe - Partake

  • 初めて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