| Wed, 16 Nov 2022 17:43:10 +0900 |
Shinji KONO |
...
|
| Sat, 15 Jan 2022 01:12:43 +0900 |
Shinji KONO |
root2 fulcomp
|
| Fri, 14 Jan 2022 22:58:25 +0900 |
Shinji KONO |
...
|
| Fri, 14 Jan 2022 22:39:40 +0900 |
Shinji KONO |
...
|
| Fri, 14 Jan 2022 21:47:24 +0900 |
Shinji KONO |
...
|
| Fri, 14 Jan 2022 19:11:12 +0900 |
Shinji KONO |
...
|
| Fri, 14 Jan 2022 14:39:36 +0900 |
Shinji KONO |
...
|
| Mon, 27 Dec 2021 10:29:59 +0900 |
Shinji KONO |
fix gcd and root
|
| Thu, 01 Jul 2021 19:07:19 +0900 |
Shinji KONO |
...
|
| Tue, 29 Jun 2021 23:53:19 +0900 |
Shinji KONO |
prime version
|
| Tue, 29 Jun 2021 23:24:03 +0900 |
Shinji KONO |
... prime version
|
| Tue, 29 Jun 2021 18:37:42 +0900 |
Shinji KONO |
root2 done
|
| Tue, 29 Jun 2021 16:10:06 +0900 |
Shinji KONO |
...
|
| Fri, 25 Jun 2021 20:16:53 +0900 |
Shinji KONO |
...
|
| Fri, 25 Jun 2021 08:49:12 +0900 |
Shinji KONO |
...
|
| Thu, 17 Jun 2021 22:42:36 +0900 |
Shinji KONO |
...
|
| Thu, 17 Jun 2021 17:16:36 +0900 |
Shinji KONO |
gcd done
|
| Tue, 15 Jun 2021 22:30:13 +0900 |
Shinji KONO |
...
|
| Mon, 14 Jun 2021 09:06:20 +0900 |
Shinji KONO |
...
|
| Mon, 14 Jun 2021 02:17:58 +0900 |
Shinji KONO |
even→gcd
|
| Mon, 14 Jun 2021 00:25:04 +0900 |
Shinji KONO |
...
|
| Sun, 13 Jun 2021 20:45:17 +0900 |
Shinji KONO |
fix
base
automaton-in-agda/src/agda/root2.agda@693eda7e5ebc
|
