Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Sun, 05 Mar 2023 14:46:53 +0900, by Shinji KONO
-
...Sun, 05 Mar 2023 13:41:57 +0900, by Shinji KONO
-
...Sun, 05 Mar 2023 12:16:07 +0900, by Shinji KONO
-
Added tag current for changeset f17d060e0bdaSat, 04 Mar 2023 11:39:52 +0900, by Shinji KONO
-
UFLP→FIP FIP→UFLP with Zorn doneSat, 04 Mar 2023 11:39:46 +0900, by Shinji KONO
-
...Sat, 04 Mar 2023 10:26:35 +0900, by Shinji KONO
-
...Fri, 03 Mar 2023 21:31:12 +0900, by Shinji KONO