平原ゼミ

MMM
Coq スタートアップセミナー新着!!

Coq スタートアップセミナーについて セミナーの目的 ● これからCoqを学習したい人を対象● すぐにCoqを使用できるように!● Coqの実行環境の紹介● Coqの実行環境のインストール方法を説明 講師紹介 平原貴音 […]

続きを読む
MaruLabo Micro Media -- MMM
Coq スタートアップセミナー (4)

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

続きを読む
MaruLabo Micro Media -- MMM
Coq スタートアップセミナー (3)

2021/09/28 第三回 「jsCoqのセットアップ」 講演資料ダウンロード 講演資料 Viewer 講演ビデオ

続きを読む
MaruLabo Micro Media -- MMM
Coq スタートアップセミナー (2)

2021/08/03  第二回「CoqIDEのセットアップ」 講演資料ダウンロード 講演資料 Viewer 講演ビデオ

続きを読む
MaruLabo Micro Media -- MMM
Coq スタートアップセミナー (1)

2021/06/27 第一回「Coq環境の紹介」 講演資料 ダウンロード 講演動画

続きを読む