Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
ZC data won't work2022-06-05, by Shinji KONO
-
... still remains2022-05-02, by Shinji KONO
-
ZChain is monotonic on x, should be in record ZFChain2022-05-02, by Shinji KONO
-
...2022-05-02, by Shinji KONO
-
...2022-05-02, by Shinji KONO
-
...2022-05-01, by Shinji KONO
-
...2022-05-01, by Shinji KONO
-
...2022-04-30, by Shinji KONO
-
fix sp12022-04-30, by Shinji KONO
-
...2022-04-30, by Shinji KONO
-
...2022-04-30, by Shinji KONO
-
...2022-04-30, by Shinji KONO
-
...2022-04-30, by Shinji KONO
-
...2022-04-30, by Shinji KONO
-
...2022-04-29, by Shinji KONO