Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
| age | author | description |
|---|---|---|
| Sun, 12 Jun 2022 12:20:16 +0900 | Shinji KONO | ... |
| Sat, 11 Jun 2022 18:33:12 +0900 | Shinji KONO | ... |
| Thu, 09 Jun 2022 05:13:18 +0900 | Shinji KONO | give up |
| Thu, 09 Jun 2022 03:16:59 +0900 | Shinji KONO | chainf is now global on ZChain |
| Thu, 09 Jun 2022 02:45:21 +0900 | Shinji KONO | ... |
| Wed, 08 Jun 2022 08:47:52 +0900 | Shinji KONO | ... |
| Tue, 07 Jun 2022 18:37:57 +0900 | Shinji KONO | ZChainā§Chain |
| Tue, 07 Jun 2022 18:01:28 +0900 | Shinji KONO | try mutual transfinite |