Mercurial > hg > Members > kono > Proof > galois
graph
-
try to add --cubical-compatible on SolvableThu, 12 Oct 2023 10:12:16 +0900, by Shinji KONO
-
...Sun, 24 Sep 2023 18:10:44 +0900, by Shinji KONO
-
fix doneSat, 23 Sep 2023 22:43:47 +0900, by Shinji KONO