Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Sun, 18 Jun 2023 12:16:29 +0900, by Shinji KONO
-
...Sun, 18 Jun 2023 11:37:00 +0900, by Shinji KONO
-
...Sun, 18 Jun 2023 06:00:57 +0900, by Shinji KONO
-
...Sun, 18 Jun 2023 05:02:01 +0900, by Shinji KONO
-
...Sat, 17 Jun 2023 19:08:46 +0900, by Shinji KONO
-
... 0 case on c1+1PSat, 17 Jun 2023 17:01:23 +0900, by Shinji KONO
-
...Sat, 17 Jun 2023 11:05:09 +0900, by Shinji KONO