「はじめてのCoq」

目次

  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) — 「正しい」ことと「証明を持つ」こと