Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Wed, 15 Mar 2023 19:44:38 +0900, by Shinji KONO
-
...Wed, 15 Mar 2023 12:59:55 +0900, by Shinji KONO
-
...Wed, 15 Mar 2023 09:41:57 +0900, by Shinji KONO
-
...Tue, 14 Mar 2023 14:41:39 +0900, by Shinji KONO
-
...Tue, 14 Mar 2023 13:17:31 +0900, by Shinji KONO
-
dense doneTue, 14 Mar 2023 11:58:15 +0900, by Shinji KONO
-
f1 f2 doneTue, 14 Mar 2023 09:50:23 +0900, by Shinji KONO