Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Tue, 20 Sep 2022 10:06:23 +0900, by Shinji KONO
-
csupf cannot be proved in ZChain itselfSat, 17 Sep 2022 15:11:13 +0900, by Shinji KONO
-
...Sat, 17 Sep 2022 12:53:51 +0900, by Shinji KONO
-
...Sat, 17 Sep 2022 10:11:54 +0900, by Shinji KONO
-
...Fri, 16 Sep 2022 23:06:10 +0900, by Shinji KONO
-
...Fri, 16 Sep 2022 20:12:10 +0900, by Shinji KONO
-
...Thu, 15 Sep 2022 16:24:31 +0900, by Shinji KONO