Revision 7e6a58a7d67eca4e02272caaed9efa24545cabd8

StartSsreflect

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