平原ゼミ
Coq スタートアップセミナー (4)
2021年11月30日
2021/11/30 第四回 「VsCoqのセットアップ」 講演資料 「VsCoqのセットアップ」 (ダウンロード) 講演ビデオ これまでの「Coq スタートアップセミナー 」 第一回「Coq環境の紹介」 第二回「Coq […]
2021/11/30 第四回 「VsCoqのセットアップ」 講演資料 「VsCoqのセットアップ」 (ダウンロード) 講演ビデオ これまでの「Coq スタートアップセミナー 」 第一回「Coq環境の紹介」 第二回「Coq […]