Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
bad with trio< o2022-10-30, by Shinji KONO
-
...2022-10-30, by Shinji KONO
-
...2022-10-29, by Shinji KONO
-
avoided2022-10-29, by Shinji KONO
-
not-hasprev z29 and z31 cause memory exhaust2022-10-29, by Shinji KONO
-
...2022-10-28, by Shinji KONO
-
...2022-10-28, by Shinji KONO
-
...2022-10-24, by Shinji KONO
-
...2022-10-24, by Shinji KONO
-
mem exhaust fix on fixpoint2022-10-24, by Shinji KONO
-
resync zorn.agda2022-10-24, by Shinji KONO
-
...2022-10-24, by Shinji KONO
-
memory exhaust work around2022-10-23, by Shinji KONO
-
...2022-10-23, by Shinji KONO
-
...2022-10-23, by Shinji KONO
-
...2022-10-22, by Shinji KONO
-
...2022-10-22, by Shinji KONO
-
...2022-10-20, by Shinji KONO
-
...2022-10-20, by Shinji KONO
-
...2022-10-19, by Shinji KONO
-
supf usp0 instead of supf (& A) ?2022-10-19, by Shinji KONO
-
use supf of zchain for (nmx : ¬ Maximal A ) → ⊥2022-10-18, by Shinji KONO
-
...2022-10-17, by Shinji KONO
-
UnionZF2022-10-17, by Shinji KONO
-
fixpoint?2022-10-16, by Shinji KONO
-
supf u o< supf x2022-10-16, by Shinji KONO
-
supf px o< px is in csupf2022-10-15, by Shinji KONO
-
roll back2022-10-15, by Shinji KONO
-
...2022-10-13, by Shinji KONO
-
...2022-10-12, by Shinji KONO