Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
Tue, 04 Jun 2019 01:05:33 +0900 | Shinji KONO | simpler ordinal |
Mon, 03 Jun 2019 12:29:33 +0900 | Shinji KONO | remove ∅-base-def |
Mon, 03 Jun 2019 10:50:03 +0900 | Shinji KONO | add some lemma |
Mon, 03 Jun 2019 10:19:52 +0900 | Shinji KONO | infinite and replacement begin |
Sun, 02 Jun 2019 15:12:26 +0900 | Shinji KONO | Power Set on going ... |
Sun, 02 Jun 2019 11:56:43 +0900 | Shinji KONO | extensionality done |
Sun, 02 Jun 2019 10:53:52 +0900 | Shinji KONO | Union done |