Coqをインストールしたので http://d.hatena.ne.jp/qnighy/20101220/1292829222 この辺を参考に勉強中です。 ついでに自分で命題を考えて証明してみた。 命題は forall (x : nat), x > 1 -> x こんなもの直感的だろ! といいたい所ですが、論理学の世界では…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。