Mercurial > hg > Members > kono > Proof > automaton
log
age | author | description |
---|---|---|
Mon, 27 Dec 2021 21:45:00 +0900 | Shinji KONO | ... |
Mon, 27 Dec 2021 19:48:00 +0900 | Shinji KONO | ... |
Mon, 27 Dec 2021 12:45:14 +0900 | Shinji KONO | ... |
Mon, 27 Dec 2021 10:29:59 +0900 | Shinji KONO | fix gcd and root |
Mon, 27 Dec 2021 09:51:21 +0900 | Shinji KONO | ... |
Sun, 26 Dec 2021 18:36:48 +0900 | Shinji KONO | ... |
Sun, 26 Dec 2021 12:38:37 +0900 | Shinji KONO | dup in finiteSet in long list |