Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2022-04-23 | Shinji KONO | ... |
2022-04-23 | Shinji KONO | remove unsed in zorn |
2022-04-23 | Shinji KONO | ... |
2022-04-23 | Shinji KONO | ... |
2022-04-23 | Shinji KONO | ... |
2022-04-22 | Shinji KONO | ... |
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 | ... |