Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
Mon, 07 Nov 2022 10:23:53 +0900 | Shinji KONO | ... |
Mon, 07 Nov 2022 08:04:35 +0900 | Shinji KONO | ... |
Mon, 07 Nov 2022 05:02:08 +0900 | Shinji KONO | ... |
Sun, 06 Nov 2022 13:39:45 +0900 | Shinji KONO | ... |
Sat, 05 Nov 2022 18:29:21 +0900 | Shinji KONO | ... |
Sat, 05 Nov 2022 13:21:42 +0900 | Shinji KONO | ... |
Sat, 05 Nov 2022 10:23:57 +0900 | Shinji KONO | removing ch-init is no good because of initialization |