TSG Advent Calendar 2015 - Adventarの12/13の記事です。 序文 - pCICとは pCICはPredicative Calculus of (Co)Inductive Constructionsのことで、coqの型システムのことです。 定理証明支援系と言われるcoqですが、そもそもcoqで「証明する」とはどういう…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。