Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2022-04-13 | Shinji KONO | 2 cases in 3 cases |
2022-04-12 | Shinji KONO | ... |
2022-04-12 | Shinji KONO | ... |
2022-04-12 | Shinji KONO | ... |
2022-04-12 | Shinji KONO | ... |
2022-04-12 | Shinji KONO | ... |
2022-04-12 | Shinji KONO | ... |
2022-04-12 | Shinji KONO | ... |
2022-04-12 | Shinji KONO | zorn-case |
2022-04-11 | Shinji KONO | other strategy |
2022-04-09 | Shinji KONO | total of B |
2022-04-09 | Shinji KONO | ... |
2022-04-08 | Shinji KONO | ... |
2022-04-08 | Shinji KONO | ... |
2022-04-08 | Shinji KONO | Partial Order |