Coq スタートアップセミナー (1)

2021/06/27 第一回「Coq環境の紹介」

講演資料 ダウンロード

講演動画