Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
fixFri, 08 Jul 2022 13:31:19 +0900, by Shinji KONO
-
...Tue, 05 Jul 2022 08:22:32 +0900, by Shinji KONO
-
...Tue, 05 Jul 2022 05:43:27 +0900, by Shinji KONO
-
new data ChainTue, 05 Jul 2022 05:10:27 +0900, by Shinji KONO
-
...Mon, 04 Jul 2022 21:58:07 +0900, by Shinji KONO
-
do all in sindMon, 04 Jul 2022 21:25:38 +0900, by Shinji KONO
-
new TransFinite inductionMon, 04 Jul 2022 07:41:30 +0900, by Shinji KONO