平原ゼミ

MaruLabo Micro Media -- MMM
Coq スタートアップセミナー (4)
2021年11月30日

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

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

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

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

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

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

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

続きを読む