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

2021/08/03  第二回「CoqIDEのセットアップ」

講演資料ダウンロード

講演資料 Viewer

講演ビデオ