2011-05-10から1日間の記事一覧
P18に掲載されているものをCoqで。 http://gist.github.com/963772 Pab Pba ----------------------------- split. forall x, exists y,Pxy Pab & Pba ---------------------- -------------------- exists y. exists y,Pay. exists y,(Pay & Pya). --------…
P18に掲載されているものをCoqで。 http://gist.github.com/963772 Pab Pba ----------------------------- split. forall x, exists y,Pxy Pab & Pba ---------------------- -------------------- exists y. exists y,Pay. exists y,(Pay & Pya). --------…