Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Mon, 07 Nov 2022 10:23:53 +0900, by Shinji KONO
-
...Mon, 07 Nov 2022 08:04:35 +0900, by Shinji KONO
-
...Mon, 07 Nov 2022 05:02:08 +0900, by Shinji KONO
-
...Sun, 06 Nov 2022 13:39:45 +0900, by Shinji KONO
-
...Sat, 05 Nov 2022 18:29:21 +0900, by Shinji KONO
-
...Sat, 05 Nov 2022 13:21:42 +0900, by Shinji KONO
-
removing ch-init is no good because of initializationSat, 05 Nov 2022 10:23:57 +0900, by Shinji KONO