Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
fc-inject is no goodWed, 23 Nov 2022 16:12:51 +0900, by Shinji KONO
-
maxαWed, 23 Nov 2022 09:55:38 +0900, by Shinji KONO
-
IChain recursive record avoidedSun, 20 Nov 2022 17:44:21 +0900, by Shinji KONO
-
Recursive record IChainSun, 20 Nov 2022 17:33:10 +0900, by Shinji KONO
-
...Sun, 20 Nov 2022 16:07:25 +0900, by Shinji KONO
-
...Sun, 20 Nov 2022 09:29:56 +0900, by Shinji KONO
-
...Sun, 20 Nov 2022 08:36:24 +0900, by Shinji KONO