http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/CoPL/ というのもあるのか。登録だけしてみた。
Coq演習をやってみて、やはりあんまり自分が理解してない。ということが分かった。 とくに、 命題とブール値の違い 命題とブール値は、一見とてもよく似ているように見えます。しかしこの二つは根本的に違うものです! ・ブール値は、「計算の世界における値…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。