【Coq】コンピューターで証明しよう【コック】©2ch.net

[0023 １３２人目の素数さん 2015/01/25(日) 19:37:01.31 ID:4ki3LVZe]

Coq の論理的バックグラウンド（？）になってる
Calculus of Inductive Construction (CIC)
（？：何種類かあって良く分からない）
について調べたいのですが良い文献ないですか？