2012-05-26から1日間の記事一覧
もう向いてないんじゃないかと思いました………。 現実逃避したい。 うんCoqでClassicalをつかった証明の練習。 ここにあるやつ。 参照: http://coq.inria.fr/library/Coq.Logic.Classical_Prop.html Section Classical_Prop. Require Import Relations_1. Req…
もう向いてないんじゃないかと思いました………。 現実逃避したい。 うんCoqでClassicalをつかった証明の練習。 ここにあるやつ。 参照: http://coq.inria.fr/library/Coq.Logic.Classical_Prop.html Section Classical_Prop. Require Import Relations_1. Req…