Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...2019-05-14, by Shinji KONO
-
fix2019-05-13, by Shinji KONO
-
separete constructible set2019-05-13, by Shinji KONO
-
dead end2019-05-13, by Shinji KONO
-
dead end2019-05-13, by Shinji KONO
-
...2019-05-13, by Shinji KONO
-
add constructible set2019-05-13, by Shinji KONO
-
try to fix axiom of replacement2019-05-12, by Shinji KONO
-
fix2019-05-12, by Shinji KONO
-
...2019-05-11, by Shinji KONO
-
isEquiv and isZF2019-05-11, by Shinji KONO
-
...2019-05-11, by Shinji KONO
-
reocrd ZF2019-05-11, by Shinji KONO
-
...2019-05-08, by Shinji KONO
-
union2019-05-08, by Shinji KONO
-
Set theory in Agda2019-05-08, by Shinji KONO