→様々なプログラム言語
開発言語一般†
各言語の記事†
- Coq 関数型言語の一種らしい
- Coq を始めよう
- このチュートリアルでは定理証明支援系言語である Coq について解説をします。プログラムの性質を Coq で証明できるようになることが目標です。
- 読者の前提知識としては OCaml や Haskell などの関数型言語でプログラミングできることを想定します。また、本文書において Coq のプログラムとの比較には Haskell と OCaml を用いますが、Haskell や OCaml を書いたことがなくても他の関数型言語に触れていれば理解できるような内容を心がけます。
Last-modified: 2023-05-15 (月) 13:12:42