http://qnighy.github.io/coqex2014/ なんてものがあった。第一回をやってみた。 試行錯誤してなんとか証明出来たけど、 あいかわらず、いまいち何かが分かっている感がない。#coq 論理学/数学を分かってないせいか。 Theorem tautology: forall P : Prop, …
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。