log

age author description
2022-10-10 Shinji KONO union equal passed
2022-10-10 Shinji KONO ...
2022-10-09 Shinji KONO ...
2022-10-09 Shinji KONO ...
2022-10-09 Shinji KONO ...
2022-10-07 Shinji KONO roll back to u<x
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