Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
syntax *, &, ⟪ , ⟫Sat, 01 Aug 2020 11:06:29 +0900, by Shinji KONO
-
...Fri, 31 Jul 2020 17:54:52 +0900, by Shinji KONO
-
bijectionFri, 31 Jul 2020 17:42:25 +0900, by Shinji KONO
-
...Fri, 31 Jul 2020 12:57:59 +0900, by Shinji KONO
-
...Fri, 31 Jul 2020 12:46:45 +0900, by Shinji KONO
-
...Fri, 31 Jul 2020 11:21:27 +0900, by Shinji KONO
-
...Thu, 30 Jul 2020 21:45:49 +0900, by Shinji KONO