Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
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 |
Mon, 10 Jun 2019 00:29:20 +0900 | Shinji KONO | ... |
Sun, 09 Jun 2019 19:41:53 +0900 | Shinji KONO | power set using sup on Def |