Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2022-08-05 | Shinji KONO | ... |
2022-08-03 | Shinji KONO | ... |
2022-08-03 | Shinji KONO | ... |
2022-08-02 | Shinji KONO | remove unnesesary part in SZ1 the second TransFinite induction for is-max |
2022-08-02 | Shinji KONO | ... |
2022-08-02 | Shinji KONO | u<x in UChain again |
2022-08-02 | Shinji KONO | ... |
2022-08-01 | Shinji KONO | ... |
2022-08-01 | Shinji KONO | order done |
2022-08-01 | Shinji KONO | ... |
2022-08-01 | Shinji KONO | ... |
2022-08-01 | Shinji KONO | ... |
2022-07-31 | Shinji KONO | ... |
2022-07-31 | Shinji KONO | sup=SUP is no good |