| Sun, 07 Jul 2024 22:28:50 +0900 |
Shinji KONO |
safe fix done
default tip
|
| Wed, 03 Jul 2024 11:44:58 +0900 |
Shinji KONO |
safe rewriting nearly finished
|
| Fri, 24 Nov 2023 08:49:21 +0900 |
Shinji KONO |
...
|
| Sat, 07 Oct 2023 19:43:31 +0900 |
Shinji KONO |
add original library and fix for safe mode
|
| Wed, 31 Mar 2021 15:58:02 +0900 |
Shinji KONO |
...
|
| Tue, 30 Mar 2021 23:30:55 +0900 |
Shinji KONO |
topos of Sets done
sets-topos
|
| Fri, 12 Mar 2021 19:36:18 +0900 |
Shinji KONO |
...
|
| Thu, 11 Mar 2021 12:47:19 +0900 |
Shinji KONO |
...
|
| Mon, 08 Mar 2021 08:25:30 +0900 |
Shinji KONO |
separate CCCSets
|
| Sun, 07 Mar 2021 15:57:49 +0900 |
Shinji KONO |
...
|
| Sun, 07 Mar 2021 15:51:45 +0900 |
Shinji KONO |
...
|
| Fri, 05 Mar 2021 10:20:20 +0900 |
Shinji KONO |
...
|
| Thu, 04 Mar 2021 18:51:10 +0900 |
Shinji KONO |
...
|
| Mon, 21 Dec 2020 16:40:15 +0900 |
Shinji KONO |
reorganization for apkg
base
SetsCompleteness.agda@76ac29ec484e
|
