log

age author description
2022-10-06 Shinji KONO UChain u<x to u≤x again
2022-10-06 Shinji KONO ...
2022-10-06 Shinji KONO ...
2022-10-06 Shinji KONO fixing u<x is no good
2022-10-06 Shinji KONO sp1 = supf (& A)
2022-10-06 Shinji KONO ...
2022-10-05 Shinji KONO ...
2022-10-05 Shinji KONO x ≤ supf x is no good
2022-10-05 Shinji KONO u < supf z
2022-10-04 Shinji KONO ...
2022-10-03 Shinji KONO x≤supfx1 is no good
2022-10-03 Shinji KONO csupf
2022-10-02 Shinji KONO ...
2022-10-02 Shinji KONO ...
2022-10-02 Shinji KONO ...
2022-10-02 Shinji KONO ...
2022-10-01 Shinji KONO ...
2022-09-30 Shinji KONO ...
2022-09-30 Shinji KONO ...
2022-09-30 Shinji KONO ...
2022-09-30 Shinji KONO MinSUP
2022-09-24 Shinji KONO ...
2022-09-20 Shinji KONO ...
2022-09-17 Shinji KONO csupf cannot be proved in ZChain itself
2022-09-17 Shinji KONO ...
2022-09-17 Shinji KONO ...
2022-09-16 Shinji KONO ...
2022-09-16 Shinji KONO ...
2022-09-15 Shinji KONO ...
2022-09-14 Shinji KONO ..
2022-09-13 Shinji KONO ...
2022-09-12 Shinji KONO ...
2022-09-12 Shinji KONO ...
2022-09-11 Shinji KONO ...
2022-09-10 Shinji KONO ...
2022-09-09 Shinji KONO ...
2022-09-09 Shinji KONO u<=x to u<x
2022-09-08 Shinji KONO ...
2022-09-08 Shinji KONO ...
2022-09-08 Shinji KONO no-extension on immidate ordinal passed
2022-09-08 Shinji KONO ...
2022-09-07 Shinji KONO ...
2022-09-07 Shinji KONO supf-max
2022-09-06 Shinji KONO ...
2022-09-05 Shinji KONO close
2022-09-05 Shinji KONO csupf b is no good, because supf1 x is not in UnionCF x ( but UnionCD (supf x) )
2022-09-05 Shinji KONO ...
2022-09-05 Shinji KONO ...
2022-09-05 Shinji KONO ...
2022-09-05 Shinji KONO ...
2022-09-04 Shinji KONO ...
2022-09-03 Shinji KONO ...
2022-09-03 Shinji KONO ...
2022-09-03 Shinji KONO ...
2022-08-31 Shinji KONO csupf in not come from ZChain itself
2022-08-31 Shinji KONO ...
2022-08-30 Shinji KONO ...
2022-08-30 Shinji KONO ...
2022-08-29 Shinji KONO ...
2022-08-29 Shinji KONO ...