| Sun, 24 Sep 2023 18:02:04 +0900 |
Shinji KONO |
...
|
| Fri, 21 Jan 2022 10:45:42 +0900 |
Shinji KONO |
omega
|
| Thu, 01 Jul 2021 19:07:19 +0900 |
Shinji KONO |
...
|
| Tue, 29 Jun 2021 20:03:32 +0900 |
Shinji KONO |
...
|
| Tue, 29 Jun 2021 16:10:06 +0900 |
Shinji KONO |
...
|
| Fri, 25 Jun 2021 08:49:12 +0900 |
Shinji KONO |
...
|
| Thu, 24 Jun 2021 11:02:58 +0900 |
Shinji KONO |
prime done
|
| Thu, 24 Jun 2021 00:37:46 +0900 |
Shinji KONO |
...
|
| Wed, 23 Jun 2021 22:35:04 +0900 |
Shinji KONO |
...
|
| Wed, 23 Jun 2021 18:10:18 +0900 |
Shinji KONO |
...
|
| Wed, 23 Jun 2021 11:31:00 +0900 |
Shinji KONO |
...
|
| Tue, 22 Jun 2021 20:14:40 +0900 |
Shinji KONO |
...
|
| Fri, 18 Jun 2021 21:09:50 +0900 |
Shinji KONO |
...
|
| Fri, 18 Jun 2021 19:21:06 +0900 |
Shinji KONO |
<fact done
|
| Fri, 18 Jun 2021 18:51:24 +0900 |
Shinji KONO |
another method on fact<
|
| Fri, 18 Jun 2021 17:55:41 +0900 |
Shinji KONO |
...
|
| Fri, 18 Jun 2021 10:04:11 +0900 |
Shinji KONO |
...
|
| Fri, 18 Jun 2021 07:54:25 +0900 |
Shinji KONO |
...
|
| Thu, 17 Jun 2021 22:42:36 +0900 |
Shinji KONO |
...
|
| Sun, 13 Jun 2021 20:45:17 +0900 |
Shinji KONO |
fix
base
automaton-in-agda/src/agda/prime.agda@f4aa3c82e322
|
