eldesh / garrigue_coq_lecture Public

Notifications You must be signed in to change notification settings
Fork 0
Star 4

ジャック・ガリグ先生のCoq講義資料

4 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
coq1.v		coq1.v
coq2.v		coq2.v
coq3.v		coq3.v
coq4.v		coq4.v
coq5.v		coq5.v
readme.md		readme.md

Repository files navigation

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

CoqTokyoで使うテキスト.

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

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

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

About

ジャック・ガリグ先生のCoq講義資料

Report repository

Releases

No releases published

Packages

Languages

Coq 100.0%