Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2022-04-22 | Shinji KONO | ... |
2022-04-22 | Shinji KONO | ... |
2022-04-20 | Shinji KONO | ... |
2022-04-19 | Shinji KONO | TransitiveClosure with x <= f x is possible |
2022-04-19 | Shinji KONO | ... |
2022-04-18 | Shinji KONO | give up for a while |
2022-04-18 | Shinji KONO | ... |
2022-04-17 | Shinji KONO | ... |
2022-04-17 | Shinji KONO | all-climb-case |
2022-04-17 | Shinji KONO | ... |
2022-04-17 | Shinji KONO | zc10 |
2022-04-17 | Shinji KONO | ... |
2022-04-16 | Shinji KONO | ... |
2022-04-16 | Shinji KONO | ... |
2022-04-16 | Shinji KONO | chain total complete |
2022-04-16 | Shinji KONO | ... |
2022-04-16 | Shinji KONO | ε-induction does not work on Zorn |
2022-04-16 | Shinji KONO | ... |
2022-04-15 | Shinji KONO | ... |
2022-04-15 | Shinji KONO | ... |
2022-04-15 | Shinji KONO | ... |
2022-04-15 | Shinji KONO | ... |
2022-04-15 | Shinji KONO | chain closure |
2022-04-15 | Shinji KONO | ... |
2022-04-14 | Shinji KONO | ... |
2022-04-13 | Shinji KONO | 2 cases in 3 cases |
2022-04-12 | Shinji KONO | ... |
2022-04-12 | Shinji KONO | ... |