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

2023/05/14 第五回「coq-jupyterのセットアップ」

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

講演ビデオ

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

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

「Coq スタートアップセミナー」 再生リスト