Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
| age | author | description |
|---|---|---|
| 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 |
| Sat, 01 Jun 2019 19:19:40 +0900 | Shinji KONO | ordinal atomical successor? |
| Sat, 01 Jun 2019 18:17:24 +0900 | Shinji KONO | fix ordinal |
| Sat, 01 Jun 2019 14:43:05 +0900 | Shinji KONO | ... |