Mercurial > hg > Members > kono > Proof > ZF-in-agda
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 | ... |