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 ...