Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Thu, 23 Feb 2023 18:44:47 +0900, by Shinji KONO
-
...Thu, 23 Feb 2023 12:48:00 +0800, by kono
-
fixThu, 23 Feb 2023 09:58:11 +0800, by Shinji Kono
-
...Wed, 22 Feb 2023 12:01:09 +0900, by Shinji KONO
-
...Wed, 22 Feb 2023 10:11:00 +0900, by Shinji KONO
-
...Tue, 21 Feb 2023 12:02:41 +0900, by Shinji KONO
-
Func and FuncsSat, 18 Feb 2023 11:51:22 +0900, by Shinji KONO