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