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

2021/11/30 第四回 「VsCoqのセットアップ」

講演資料 「VsCoqのセットアップ」 (ダウンロード)

講演ビデオ

これまでの「Coq スタートアップセミナー 」