Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
| age | author | description |
|---|---|---|
| Sat, 29 Oct 2022 13:55:18 +0900 | Shinji KONO | not-hasprev z29 and z31 cause memory exhaust |
| Fri, 28 Oct 2022 19:16:34 +0900 | Shinji KONO | ... |
| Fri, 28 Oct 2022 18:37:05 +0900 | Shinji KONO | ... |
| Mon, 24 Oct 2022 19:11:19 +0900 | Shinji KONO | ... |
| Mon, 24 Oct 2022 16:16:15 +0900 | Shinji KONO | ... |
| Mon, 24 Oct 2022 16:06:18 +0900 | Shinji KONO | mem exhaust fix on fixpoint |
| Mon, 24 Oct 2022 09:36:07 +0900 | Shinji KONO | resync zorn.agda |