Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2022-08-18 | Shinji KONO | ... |
2022-08-18 | Shinji KONO | ... |
2022-08-18 | Shinji KONO | sp1 on supf1 px |
2022-08-18 | Shinji KONO | ... |
2022-08-18 | Shinji KONO | ... |
2022-08-17 | Shinji KONO | retreat |
2022-08-17 | Shinji KONO | another spuf1 |
2022-08-17 | Shinji KONO | xSUP on px |
2022-08-17 | Shinji KONO | ... |
2022-08-16 | Shinji KONO | ... |
2022-08-16 | Shinji KONO | ... |
2022-08-16 | Shinji KONO | ... |
2022-08-16 | Shinji KONO | ... |
2022-08-16 | Shinji KONO | < on ZChain.sup |
2022-08-16 | Shinji KONO | ... |