Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2022-07-09 | Shinji KONO | ... |
2022-07-09 | Shinji KONO | ... |
2022-07-09 | Shinji KONO | ... |
2022-07-09 | Shinji KONO | ... |
2022-07-09 | Shinji KONO | ... |
2022-07-09 | Shinji KONO | ... |
2022-07-09 | Shinji KONO | ... |
2022-07-08 | Shinji KONO | new chain |
2022-07-08 | Shinji KONO | close |
2022-07-08 | Shinji KONO | fix |
2022-07-04 | Shinji KONO | ... |
2022-07-04 | Shinji KONO | ... |
2022-07-04 | Shinji KONO | new data Chain |
2022-07-04 | Shinji KONO | ... |
2022-07-04 | Shinji KONO | do all in sind |
2022-07-03 | Shinji KONO | new TransFinite induction |
2022-07-03 | Shinji KONO | ... |
2022-07-03 | Shinji KONO | ... |
2022-07-03 | Shinji KONO | ... |
2022-07-02 | Shinji KONO | fix |
2022-07-02 | Shinji KONO | close this |
2022-07-02 | Shinji KONO | ... dead end |
2022-07-02 | Shinji KONO | ... |
2022-07-02 | Shinji KONO | ... |
2022-07-01 | Shinji KONO | data Chain |
2022-07-01 | Shinji KONO | UChain rewrite |
2022-06-30 | Shinji KONO | ... |
2022-06-29 | Shinji KONO | sind again |
2022-06-27 | Shinji KONO | use previous version |
2022-06-27 | Shinji KONO | ZChain1 is not strictly positive |
2022-06-27 | Shinji KONO | ... |
2022-06-27 | Shinji KONO | ... |
2022-06-27 | Shinji KONO | ... |
2022-06-26 | Shinji KONO | ... zc1 |
2022-06-26 | Shinji KONO | ... |
2022-06-26 | Shinji KONO | ... |
2022-06-26 | Shinji KONO | ... |
2022-06-26 | Shinji KONO | ... |
2022-06-26 | Shinji KONO | ... |
2022-06-25 | Shinji KONO | close |
2022-06-25 | Shinji KONO | ... |
2022-06-24 | Shinji KONO | ... |
2022-06-21 | Shinji KONO | ... |
2022-06-21 | Shinji KONO | ... |
2022-06-21 | Shinji KONO | ... |
2022-06-21 | Shinji KONO | ... |
2022-06-21 | Shinji KONO | ... |
2022-06-20 | Shinji KONO | ZChain1 is not strictly positive |
2022-06-20 | Shinji KONO | Added tag release for changeset 1150b006059b |
2022-06-20 | Shinji KONO | ... give up |
2022-06-20 | Shinji KONO | ... |
2022-06-20 | Shinji KONO | ... TFcomm |
2022-06-20 | Shinji KONO | ... |
2022-06-20 | Shinji KONO | dead end |
2022-06-20 | Shinji KONO | failed again |
2022-06-19 | Shinji KONO | ... |
2022-06-19 | Shinji KONO | supf again |
2022-06-19 | Shinji KONO | close this |
2022-06-19 | Shinji KONO | dead end |
2022-06-19 | Shinji KONO | ... |
2022-06-18 | Shinji KONO | min-sup |
2022-06-18 | Shinji KONO | ... |
2022-06-18 | Shinji KONO | nested transfinie on monotonicity |
2022-06-17 | Shinji KONO | ... |
2022-06-17 | Shinji KONO | ... |
2022-06-17 | Shinji KONO | ind-mono |
2022-06-17 | Shinji KONO | close this |
2022-06-17 | Shinji KONO | dead end |
2022-06-17 | Shinji KONO | ... |
2022-06-17 | Shinji KONO | ... |
2022-06-17 | Shinji KONO | ... |
2022-06-17 | Shinji KONO | ... |
2022-06-17 | Shinji KONO | mutual tranfinite in zorn |
2022-06-16 | Shinji KONO | SupF and ChainMono |
2022-06-14 | Shinji KONO | ... |
2022-06-14 | Shinji KONO | ... |
2022-06-14 | Shinji KONO | ... |
2022-06-14 | Shinji KONO | ... |
2022-06-14 | Shinji KONO | ... |
2022-06-14 | Shinji KONO | sup done |
2022-06-13 | Shinji KONO | not yet ... |
2022-06-13 | Shinji KONO | total done |
2022-06-13 | Shinji KONO | ... |
2022-06-13 | Shinji KONO | ... |
2022-06-13 | Shinji KONO | ... |
2022-06-13 | Shinji KONO | ... |
2022-06-13 | Shinji KONO | ... |
2022-06-13 | Shinji KONO | ... |
2022-06-13 | Shinji KONO | FCSet |
2022-06-12 | Shinji KONO | ... |
2022-06-11 | Shinji KONO | ... |
2022-06-08 | Shinji KONO | give up |
2022-06-08 | Shinji KONO | chainf is now global on ZChain |
2022-06-08 | Shinji KONO | ... |
2022-06-07 | Shinji KONO | ... |
2022-06-07 | Shinji KONO | ZChainā§Chain |
2022-06-07 | Shinji KONO | try mutual transfinite |
2022-06-07 | Shinji KONO | ... |
2022-06-06 | Shinji KONO | ... |
2022-06-06 | Shinji KONO | close release |
2022-06-06 | Shinji KONO | ... |
2022-06-05 | Shinji KONO | ZC is bad again |
2022-06-05 | Shinji KONO | close |
2022-06-05 | Shinji KONO | ... look bad |
2022-06-05 | Shinji KONO | ... |
2022-06-05 | Shinji KONO | f-next seems bad |
2022-06-05 | Shinji KONO | ZC data won't work |
2022-05-02 | Shinji KONO | ... still remains |
2022-05-02 | Shinji KONO | ZChain is monotonic on x, should be in record ZFChain |
2022-05-02 | Shinji KONO | ... |
2022-05-02 | Shinji KONO | ... |
2022-05-01 | Shinji KONO | ... |
2022-05-01 | Shinji KONO | ... |
2022-04-30 | Shinji KONO | ... |
2022-04-30 | Shinji KONO | fix sp1 |
2022-04-30 | Shinji KONO | ... |
2022-04-30 | Shinji KONO | ... |
2022-04-30 | Shinji KONO | ... |
2022-04-30 | Shinji KONO | ... |
2022-04-30 | Shinji KONO | ... |