log

age author description
2022-12-17 Shinji KONO Zorn done
2022-12-17 Shinji KONO done?
2022-12-17 Shinji KONO 0< is no good
2022-12-16 Shinji KONO strange bug of agda
2022-12-16 Shinji KONO ...
2022-12-16 Shinji KONO order done
2022-12-16 Shinji KONO ...
2022-12-16 Shinji KONO ...
2022-12-16 Shinji KONO is-minsup done
2022-12-15 Shinji KONO ...
2022-12-14 Shinji KONO ...
2022-12-14 Shinji KONO ...
2022-12-14 Shinji KONO supf-mono done
2022-12-13 Shinji KONO ...
2022-12-13 Shinji KONO ...
2022-12-13 Shinji KONO ...
2022-12-12 Shinji KONO add 0<supfz
2022-12-12 Shinji KONO ic case
2022-12-12 Shinji KONO ...
2022-12-12 Shinji KONO equal case
2022-12-12 Shinji KONO ...
2022-12-11 Shinji KONO ...
2022-12-11 Shinji KONO ...
2022-12-11 Shinji KONO another IChain
2022-12-10 Shinji KONO IChain?
2022-12-10 Shinji KONO ...
2022-12-10 Shinji KONO ...
2022-12-09 Shinji KONO lim
2022-12-09 Shinji KONO sup=u ONDE
2022-12-09 Shinji KONO order (px case) done
2022-12-09 Shinji KONO ...
2022-12-09 Shinji KONO order connected
2022-12-09 Shinji KONO ...
2022-12-09 Shinji KONO ... bad
2022-12-07 Shinji KONO ...
2022-12-07 Shinji KONO ...
2022-12-07 Shinji KONO ...
2022-12-07 Shinji KONO ...
2022-12-05 Shinji KONO ...
2022-12-04 Shinji KONO is-minsup in px case done
2022-12-04 Shinji KONO ...
2022-12-04 Shinji KONO ...
2022-12-04 Shinji KONO pxhainx conditon is requied?
2022-12-03 Shinji KONO ...
2022-12-03 Shinji KONO ...
2022-12-03 Shinji KONO ...
2022-12-02 Shinji KONO mf< everywhere
2022-12-02 Shinji KONO ...
2022-12-02 Shinji KONO ...
2022-12-02 Shinji KONO ...
2022-12-01 Shinji KONO ...
2022-12-01 Shinji KONO ch-init again, because ch-is-sup require u<x which is not valid supf o∅
2022-11-30 Shinji KONO minsup is not obvious in ZChain
2022-11-30 Shinji KONO ...
2022-11-28 Shinji KONO ...
2022-11-27 Shinji KONO ChainP removal
2022-11-27 Shinji KONO ...
2022-11-26 Shinji KONO ...
2022-11-25 Shinji KONO ...
2022-11-25 Shinji KONO ...