Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Sun, 02 Jul 2023 12:08:54 +0900, by Shinji KONO
-
...Sun, 02 Jul 2023 10:35:37 +0900, by Shinji KONO
-
...Sun, 02 Jul 2023 01:43:36 +0900, by Shinji KONO
-
...Sun, 02 Jul 2023 01:32:03 +0900, by Shinji KONO
-
again... gfImage is not strictly positive, because it occursSun, 02 Jul 2023 00:59:14 +0900, by Shinji KONO
-
...Sat, 01 Jul 2023 19:37:54 +0900, by Shinji KONO
-
...Sat, 01 Jul 2023 18:19:34 +0900, by Shinji KONO