Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
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 | ... |
2022-08-28 | Shinji KONO | ... |
2022-08-28 | Shinji KONO | ... |
2022-08-24 | Shinji KONO | ... |
2022-08-23 | Shinji KONO | ... |
2022-08-23 | Shinji KONO | ... |
2022-08-23 | Shinji KONO | ... |
2022-08-23 | Shinji KONO | ... dead end |
2022-08-22 | Shinji KONO | supf1 unnecessary |