Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
Sun, 16 Jun 2019 11:37:00 +0900 | Shinji KONO | power set |
Sun, 16 Jun 2019 02:06:09 +0900 | Shinji KONO | ... |
Wed, 12 Jun 2019 10:45:00 +0900 | Shinji KONO | starting over HOD |
Mon, 10 Jun 2019 09:53:45 +0900 | Shinji KONO | ZF Set Theory in Agda release |
Mon, 10 Jun 2019 09:50:52 +0900 | Shinji KONO | Added tag current for changeset a402881cc341 |
Mon, 10 Jun 2019 09:50:44 +0900 | Shinji KONO | add comment |
Mon, 10 Jun 2019 09:35:14 +0900 | Shinji KONO | Power Set done with min-sup assumption |