Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
closeMon, 06 Jun 2022 07:19:03 +0900, by Shinji KONO
-
... look badSun, 05 Jun 2022 23:57:46 +0900, by Shinji KONO
-
...Sun, 05 Jun 2022 22:49:04 +0900, by Shinji KONO
-
f-next seems badSun, 05 Jun 2022 19:50:18 +0900, by Shinji KONO
-
ZC data won't workSun, 05 Jun 2022 12:49:48 +0900, by Shinji KONO
-
... still remainsTue, 03 May 2022 00:59:52 +0900, by Shinji KONO
-
ZChain is monotonic on x, should be in record ZFChainMon, 02 May 2022 23:23:12 +0900, by Shinji KONO
-
...Mon, 02 May 2022 19:51:51 +0900, by Shinji KONO