Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Wed, 08 Mar 2023 15:36:35 +0900, by Shinji KONO
-
...Wed, 08 Mar 2023 14:10:56 +0900, by Shinji KONO
-
last part of TychonoffWed, 08 Mar 2023 10:28:55 +0900, by Shinji KONO
-
...Tue, 07 Mar 2023 19:19:03 +0900, by Shinji KONO
-
proj2 filter F doneTue, 07 Mar 2023 18:58:23 +0900, by Shinji KONO
-
Proj2 of FTue, 07 Mar 2023 18:24:42 +0900, by Shinji KONO
-
...Tue, 07 Mar 2023 15:43:30 +0900, by kono