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

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

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

講演ビデオ

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

• 第一回「Coq環境の紹介」
• 第二回「CoqIDEのセットアップ」
• 第三回 「jsCoqのセットアップ」
• 第四回 「VsCoqのセットアップ」