Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2022-04-01 | Shinji KONO | ... |
2022-04-01 | Shinji KONO | ... |
2022-03-31 | Shinji KONO | ... |
2022-03-30 | Shinji KONO | ... |
2022-03-29 | Shinji KONO | ... |
2022-03-28 | Shinji KONO | ... |
2022-03-27 | Shinji KONO | ... |
2022-03-23 | Shinji KONO | ... |
2022-03-23 | Shinji KONO | ... |
2022-03-23 | Shinji KONO | ... |
2022-03-22 | Shinji KONO | ... |
2022-03-22 | Shinji KONO | ... |
2022-03-21 | Shinji KONO | Zorn lemma start |
2022-03-20 | Shinji KONO | generic filter done |