Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
| age | author | description |
|---|---|---|
| Sun, 05 Jun 2022 22:49:04 +0900 | Shinji KONO | ... |
| Sun, 05 Jun 2022 19:50:18 +0900 | Shinji KONO | f-next seems bad |
| Sun, 05 Jun 2022 12:49:48 +0900 | Shinji KONO | ZC data won't work |
| Tue, 03 May 2022 00:59:52 +0900 | Shinji KONO | ... still remains |
| Mon, 02 May 2022 23:23:12 +0900 | Shinji KONO | ZChain is monotonic on x, should be in record ZFChain |
| Mon, 02 May 2022 19:51:51 +0900 | Shinji KONO | ... |
| Mon, 02 May 2022 12:43:42 +0900 | Shinji KONO | ... |
| Mon, 02 May 2022 00:44:43 +0900 | Shinji KONO | ... |