Mon, 01 Jul 2024 15:43:35 +0900 |
Shinji KONO |
...
|
Sat, 29 Jun 2024 21:08:29 +0900 |
Shinji KONO |
...
|
Sat, 29 Jun 2024 15:57:38 +0900 |
Shinji KONO |
...
|
Sun, 23 Jun 2024 07:04:50 +0900 |
Shinji KONO |
...
|
Sat, 22 Jun 2024 19:23:56 +0900 |
Shinji KONO |
...
|
Sat, 22 Jun 2024 09:24:52 +0900 |
Shinji KONO |
ZProduct fix done
|
Mon, 01 Jan 2024 18:21:36 +0900 |
Shinji KONO |
...
|
Fri, 07 Jul 2023 12:40:28 +0900 |
Shinji KONO |
cantor all done
|
Tue, 04 Jul 2023 10:14:27 +0900 |
Shinji KONO |
fix HODBijection (sorry)
|
Wed, 07 Jun 2023 09:42:58 +0900 |
Shinji KONO |
...
|
Sun, 04 Jun 2023 16:58:39 +0900 |
Shinji KONO |
remove next
|
Sat, 03 Jun 2023 17:31:17 +0900 |
Shinji KONO |
Replace and filter projection fix done
current
|
Sat, 03 Jun 2023 08:13:50 +0900 |
Shinji KONO |
...
|
Fri, 02 Jun 2023 12:04:43 +0900 |
Shinji KONO |
...
|
Fri, 02 Jun 2023 08:52:13 +0900 |
Shinji KONO |
ZPmirror
|
Thu, 01 Jun 2023 20:33:20 +0900 |
Shinji KONO |
ZProduct with Replace sup
|
Mon, 22 May 2023 19:06:25 +0900 |
Shinji KONO |
...
|
Sat, 20 May 2023 18:28:22 +0900 |
Shinji KONO |
fix Replacement
|
Sat, 20 May 2023 09:48:37 +0900 |
Shinji KONO |
remove import zf
|
Thu, 06 Apr 2023 09:16:52 +0900 |
Shinji KONO |
P x Q ⇆ Q x P done
|
Wed, 05 Apr 2023 17:05:32 +0900 |
Shinji KONO |
P x Q done
|
Wed, 05 Apr 2023 14:32:58 +0900 |
Shinji KONO |
...
|
Wed, 05 Apr 2023 09:00:53 +0900 |
Shinji KONO |
...
|
Wed, 05 Apr 2023 08:09:49 +0900 |
Shinji KONO |
OrdBijection (& (ZFP A B)) (& (ZFP B A))
|
Mon, 03 Apr 2023 15:02:36 +0900 |
Shinji KONO |
...
|
Tue, 07 Mar 2023 15:43:30 +0900 |
kono |
...
|
Tue, 07 Mar 2023 12:13:21 +0900 |
kono |
...
|
Mon, 06 Mar 2023 15:23:17 +0900 |
Shinji KONO |
ZFP distr
|
Mon, 06 Mar 2023 12:29:15 +0900 |
Shinji KONO |
ZProduct
|
Mon, 06 Mar 2023 10:45:34 +0900 |
Shinji KONO |
brain damaged fix
base
src/OPair.agda@486f5884569b
|