Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Fri, 18 Nov 2022 17:15:47 +0900, by Shinji KONO
-
...Fri, 18 Nov 2022 14:34:20 +0900, by Shinji KONO
-
fcs<sup requires <-monotonicityFri, 18 Nov 2022 09:41:13 +0900, by Shinji KONO
-
...Thu, 17 Nov 2022 19:04:06 +0900, by Shinji KONO
-
...Thu, 17 Nov 2022 17:04:47 +0900, by Shinji KONO
-
...Thu, 17 Nov 2022 09:51:36 +0900, by Shinji KONO
-
UChain is now u o< xThu, 17 Nov 2022 08:36:03 +0900, by Shinji KONO