Hatena Blog Tags

Coq

(コンピュータ)
こっく

INRIAで開発されている定理支援証明器。
Gallinaというプログラミング言語で定義を記述し、それに関する性質を証明する支援をしてくれる。

文法はOCamlによく似ている。

このタグの解説についてこの解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。

ネットで話題

もっと見る

関連ブログ