Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
Mon, 04 Jul 2022 21:58:07 +0900 | Shinji KONO | ... |
Mon, 04 Jul 2022 21:25:38 +0900 | Shinji KONO | do all in sind |
Mon, 04 Jul 2022 07:41:30 +0900 | Shinji KONO | new TransFinite induction |
Sun, 03 Jul 2022 18:59:49 +0900 | Shinji KONO | ... |
Sun, 03 Jul 2022 17:08:55 +0900 | Shinji KONO | ... |
Sun, 03 Jul 2022 14:20:22 +0900 | Shinji KONO | ... |