| Sun, 04 Jun 2023 16:58:39 +0900 |
Shinji KONO |
remove next
|
| Thu, 01 Jun 2023 22:15:17 +0900 |
Shinji KONO |
...
|
| Sat, 20 May 2023 09:48:37 +0900 |
Shinji KONO |
remove import zf
|
| Thu, 06 Apr 2023 15:32:29 +0900 |
Shinji KONO |
...
|
| Thu, 06 Apr 2023 14:04:35 +0900 |
Shinji KONO |
...
|
| Thu, 06 Apr 2023 11:50:41 +0900 |
Shinji KONO |
...
|
| Mon, 13 Mar 2023 01:30:55 +0900 |
Shinji KONO |
...
|
| Fri, 24 Feb 2023 15:00:23 +0800 |
kono |
...
|
| Wed, 18 Jan 2023 01:43:24 +0900 |
Shinji KONO |
Finite intersection property to Compact done
|
| Tue, 17 Jan 2023 11:21:18 +0900 |
Shinji KONO |
...
|
| Mon, 09 Jan 2023 13:09:30 +0900 |
Shinji KONO |
...
base
src/BAlgbra.agda@2cb8f55c3e44
|
