平原ゼミ
Coq スタートアップセミナー (5)
2023年5月14日
2023/05/14 第五回「coq-jupyterのセットアップ」 講演資料 「coq-jupyterのセットアップ」 ( ダウンロード) 講演ビデオ これまでの「Coq スタートアップセミナー 」 「Coq スタート […]
Coq スタートアップセミナー
2022年11月25日
Coq スタートアップセミナーについて セミナーの目的 ● これからCoqを学習したい人を対象● すぐにCoqを使用できるように!● Coqの実行環境の紹介● Coqの実行環境のインストール方法を説明 講師紹介 平原貴音 […]
Coq スタートアップセミナー (4)
2021年11月30日
2021/11/30 第四回 「VsCoqのセットアップ」 講演資料 「VsCoqのセットアップ」 (ダウンロード) 講演ビデオ これまでの「Coq スタートアップセミナー 」