2010-09-28から1日間の記事一覧
tmiyaさんが出している問題に触発されました。 http://study-func-prog.blogspot.com/2010/07/coq-coq-99-part-1.html数をこなせば自然と出来るようになるのではないか。 Section FoundationOfSoftwareScience. Lemma e_1_23 : forall A B C : Prop, (A -> B…
tmiyaさんが出している問題に触発されました。 http://study-func-prog.blogspot.com/2010/07/coq-coq-99-part-1.html数をこなせば自然と出来るようになるのではないか。 Section FoundationOfSoftwareScience. Lemma e_1_23 : forall A B C : Prop, (A -> B…