Mercurial > hg > Members > kono > Proof > category
graph
-
...Sun, 16 May 2021 13:17:22 +0900, by Shinji KONO
-
...Sun, 16 May 2021 07:32:31 +0900, by Shinji KONO
-
...Sat, 15 May 2021 11:33:07 +0900, by Shinji KONO
-
...Wed, 12 May 2021 21:14:24 +0900, by Shinji KONO
-
Polynominal done with minimum equalityWed, 12 May 2021 12:52:54 +0900, by Shinji KONO
-
fix Poly minimum equalityWed, 12 May 2021 11:30:41 +0900, by Shinji KONO