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

2021/09/28 第三回 「jsCoqのセットアップ」

講演資料ダウンロード

講演資料 Viewer

講演ビデオ