Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Sat, 02 Jul 2022 10:51:48 +0900, by Shinji KONO
-
data ChainSat, 02 Jul 2022 07:52:05 +0900, by Shinji KONO
-
UChain rewriteFri, 01 Jul 2022 14:36:38 +0900, by Shinji KONO
-
...Thu, 30 Jun 2022 10:40:24 +0900, by Shinji KONO
-
sind againThu, 30 Jun 2022 06:57:05 +0900, by Shinji KONO
-
use previous versionTue, 28 Jun 2022 08:13:53 +0900, by Shinji KONO
-
ZChain1 is not strictly positiveMon, 27 Jun 2022 18:17:09 +0900, by Shinji KONO