Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
sa<bThu, 24 Nov 2022 11:18:46 +0900, by Shinji KONO
-
trying cscf as odef (UnionCF A f mf ay supf z) wThu, 24 Nov 2022 10:49:29 +0900, by Shinji KONO
-
...Thu, 24 Nov 2022 08:48:38 +0900, by Shinji KONO
-
...Wed, 23 Nov 2022 19:30:29 +0900, by Shinji KONO
-
...Wed, 23 Nov 2022 18:03:23 +0900, by Shinji KONO
-
fc-inject is no goodWed, 23 Nov 2022 16:12:51 +0900, by Shinji KONO
-
maxαWed, 23 Nov 2022 09:55:38 +0900, by Shinji KONO
-
IChain recursive record avoidedSun, 20 Nov 2022 17:44:21 +0900, by Shinji KONO
-
Recursive record IChainSun, 20 Nov 2022 17:33:10 +0900, by Shinji KONO
-
...Sun, 20 Nov 2022 16:07:25 +0900, by Shinji KONO
-
...Sun, 20 Nov 2022 09:29:56 +0900, by Shinji KONO
-
...Sun, 20 Nov 2022 08:36:24 +0900, by Shinji KONO