Mercurial > hg > Members > kono > Proof > category
graph
-
fix for new agdaThu, 08 Jun 2017 19:26:12 +0900, by Shinji KONO
-
another snat-cong approachThu, 08 Jun 2017 12:53:54 +0900, by Shinji KONO
-
comm2Mon, 05 Jun 2017 21:42:21 +0900, by Shinji KONO
-
two field again ...Mon, 05 Jun 2017 20:52:22 +0900, by Shinji KONO
-
makeEqu/makeProd does not woekMon, 05 Jun 2017 18:57:15 +0900, by Shinji KONO
-
prove fe=ge in limit-toMon, 05 Jun 2017 14:16:36 +0900, by Shinji KONO