Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...2024-06-20, by Shinji KONO
-
fix for safe2024-06-18, by Shinji KONO
-
...2024-01-05, by Shinji KONO
-
...2024-01-03, by Shinji KONO
-
...2024-01-03, by Shinji KONO
-
...2024-01-02, by Shinji KONO
-
...2024-01-01, by Shinji KONO
-
...2023-08-26, by Shinji KONO
-
...2023-08-26, by Shinji KONO
-
...2023-08-25, by Shinji KONO
-
...2023-07-07, by Shinji KONO
-
fix2023-07-07, by Shinji KONO
-
...2023-07-07, by Shinji KONO
-
cantor all done2023-07-07, by Shinji KONO
-
cantor passed2023-07-07, by Shinji KONO