Mercurial > hg > Members > kono > Proof > category
graph
-
add : Int X -> Int X -> Int XSat, 22 Mar 2014 18:34:13 +0700, by Shinji KONO
-
factorial still have a problemSat, 22 Mar 2014 14:55:51 +0700, by Shinji KONO
-
factoral done.Sat, 22 Mar 2014 13:55:26 +0700, by Shinji KONO