2018年度後期・数理解析・計算機数学 II (同概論II)

CoqTokyoで使うテキスト.

名古屋大学のジャック・ガリグ先生の講義の講義資料.

元々の資料はpdfだが, Coq内で完結するように .v ファイルに移植.

講義資料なので答えは書かない.