Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2022-04-28 | Shinji KONO | ... |
2022-04-28 | Shinji KONO | ... |
2022-04-28 | Shinji KONO | ... |
2022-04-28 | Shinji KONO | ... |
2022-04-28 | Shinji KONO | ... |
2022-04-27 | Shinji KONO | ... |
2022-04-27 | Shinji KONO | ... |
2022-04-27 | Shinji KONO | tranfinite reorganization in Zorn |
2022-04-26 | Shinji KONO | ... |
2022-04-26 | Shinji KONO | ... |
2022-04-26 | Shinji KONO | ... |
2022-04-25 | Shinji KONO | ... |
2022-04-24 | Shinji KONO | ... |
2022-04-24 | Shinji KONO | ... |
2022-04-24 | Shinji KONO | ... |
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 |