目次

1. Hello Coq! (1) — Coqとのはじめての対話　( ムービー　pdf )
2. Hello Coq! (2) — 人間はCoqに何を伝えたか？　( ムービー　pdf )
3. Hello Coq! (3) — Coqは人間に何を伝えたか？　( ムービー　pdf )
4. 論理式の証明 (1) — 論理式はどのような形をしているか？( ムービー　pdf )
5. 論理式の証明 (2) — 論理式の部分式への分解とサブゴール( ムービー　pdf )
6. 論理式の証明 (3) — 構成のルールと演繹のルール　( ムービー　pdf )
7. 論理式の証明 (4) — 「正しい」ことと「証明を持つ」こと( ムービー　pdf )

Hello Coq! (1) — Coqとのはじめての対話

Hello Coq! (2) — 人間はCoqに何を伝えたか？

Hello Coq! (3) — Coqは人間に何を伝えたか？

論理式の証明 (1) — 論理式はどのような形をしているか？

論理式の証明 (2) — 論理式の部分式への分解とサブゴール

論理式の証明 (3) — 構成のルールと演繹のルール

論理式の証明 (4) — 「正しい」ことと「証明を持つ」こと