Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Tue, 04 Jul 2023 18:11:09 +0900, by Shinji KONO
-
...Tue, 04 Jul 2023 12:06:12 +0900, by Shinji KONO
-
fix HODBijection (sorry)Tue, 04 Jul 2023 10:14:27 +0900, by Shinji KONO
-
...Tue, 04 Jul 2023 09:28:09 +0900, by Shinji KONO
-
add commentsSun, 02 Jul 2023 20:36:08 +0900, by Shinji KONO
-
clean upSun, 02 Jul 2023 15:05:26 +0900, by Shinji KONO
-
Bernstein doneSun, 02 Jul 2023 14:39:47 +0900, by Shinji KONO