Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2019-07-15 | Shinji KONO | infinite continue... |
2019-07-14 | Shinji KONO | Union trans finite |
2019-07-13 | Shinji KONO | explict logical definition of Union failed |
2019-07-11 | Shinji KONO | differeent Union approach |
2019-07-10 | Shinji KONO | union continue |
2019-07-10 | Shinji KONO | union trying .. |
2019-07-09 | Shinji KONO | union continue ... |
2019-07-09 | Shinji KONO | power set |
2019-07-09 | Shinji KONO | recovering... |
2019-07-08 | Shinji KONO | fix some |
2019-07-08 | Shinji KONO | only ordinal-definable.agda is finished. it assmues all ZF Set are Ordinals. release |
2019-07-08 | Shinji KONO | give up |
2019-07-08 | Shinji KONO | ... |
2019-07-08 | Shinji KONO | ord-Ord causes od→ord x o< od→ord y → y ∋ x, |