Mercurial > hg > Members > kono > Proof > galois
log
age | author | description |
---|---|---|
Sun, 23 Aug 2020 17:22:34 +0900 | Shinji KONO | ... |
Sun, 23 Aug 2020 16:34:19 +0900 | Shinji KONO | connected |
Sun, 23 Aug 2020 15:23:41 +0900 | Shinji KONO | ... |
Sun, 23 Aug 2020 14:43:35 +0900 | Shinji KONO | ... |
Sun, 23 Aug 2020 13:39:14 +0900 | Shinji KONO | ... |
Sat, 22 Aug 2020 19:55:41 +0900 | Shinji KONO | remove (fromℕ≤ a<sa) perm is no good |
Fri, 21 Aug 2020 23:44:28 +0900 | Shinji KONO | cleanup |