Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...2023-06-26, by Shinji KONO
-
...2023-06-26, by Shinji KONO
-
...2023-06-26, by Shinji KONO
-
...2023-06-26, by Shinji KONO
-
...2023-06-25, by Shinji KONO
-
...2023-06-25, by Shinji KONO
-
is this agda's bug?2023-06-25, by Shinji KONO
-
all done bijection2023-06-23, by Shinji KONO
-
Countable-Bernstein done2023-06-23, by Shinji KONO
-
...2023-06-23, by Shinji KONO
-
using clist is no good2023-06-23, by Shinji KONO
-
..2023-06-23, by Shinji KONO
-
...2023-06-23, by Shinji KONO
-
...2023-06-23, by Shinji KONO