Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2019-05-23 | Shinji KONO | ... |
2019-05-23 | Shinji KONO | ... |
2019-05-23 | Shinji KONO | ... |
2019-05-23 | Shinji KONO | ¬ ( y c< x ) → x ≡ od∅ |
2019-05-22 | Shinji KONO | transitive |
2019-05-22 | Shinji KONO | ordinal fixed |
2019-05-22 | Shinji KONO | fix oridinal |
2019-05-21 | Shinji KONO | fix |
2019-05-21 | Shinji KONO | oridnal dead end |
2019-05-21 | Shinji KONO | fix ordinal |
2019-05-20 | Shinji KONO | problem on Ordinal ( OSuc ℵ ) |
2019-05-20 | Shinji KONO | posturate OD is isomorphic to Ordinal |
2019-05-19 | Shinji KONO | OD continue |
2019-05-19 | Shinji KONO | OD, HOD, TC |
2019-05-18 | Shinji KONO | dom-ψ |
2019-05-18 | Shinji KONO | ... |
2019-05-18 | Shinji KONO | separte level |
2019-05-17 | Shinji KONO | Sup |
2019-05-16 | Shinji KONO | .. |
2019-05-16 | Shinji KONO | add transfinite |
2019-05-16 | Shinji KONO | ... |
2019-05-16 | Shinji KONO | ... |
2019-05-16 | Shinji KONO | fix |
2019-05-14 | Shinji KONO | clean up |
2019-05-14 | Shinji KONO | ... |
2019-05-13 | Shinji KONO | fix |
2019-05-13 | Shinji KONO | separete constructible set |
2019-05-13 | Shinji KONO | dead end |
2019-05-13 | Shinji KONO | dead end |
2019-05-13 | Shinji KONO | ... |
2019-05-13 | Shinji KONO | add constructible set |
2019-05-12 | Shinji KONO | try to fix axiom of replacement |
2019-05-12 | Shinji KONO | fix |
2019-05-11 | Shinji KONO | ... |
2019-05-11 | Shinji KONO | isEquiv and isZF |
2019-05-11 | Shinji KONO | ZF in Agda release |
2019-05-11 | Shinji KONO | ... |
2019-05-11 | Shinji KONO | reocrd ZF |
2019-05-08 | Shinji KONO | ... |
2019-05-08 | Shinji KONO | union |
2019-05-08 | Shinji KONO | Set theory in Agda |