Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2022-10-31 | Shinji KONO | avoid memory exhaust |
2022-10-31 | Shinji KONO | ... |
2022-10-30 | Shinji KONO | memory exhaust work around |
2022-10-30 | Shinji KONO | bad with trio< o |
2022-10-30 | Shinji KONO | ... |
2022-10-29 | Shinji KONO | ... |
2022-10-29 | Shinji KONO | avoided |
2022-10-29 | Shinji KONO | not-hasprev z29 and z31 cause memory exhaust |
2022-10-28 | Shinji KONO | ... |
2022-10-28 | Shinji KONO | ... |
2022-10-24 | Shinji KONO | ... |
2022-10-24 | Shinji KONO | ... |
2022-10-24 | Shinji KONO | mem exhaust fix on fixpoint |
2022-10-24 | Shinji KONO | resync zorn.agda |
2022-10-24 | Shinji KONO | ... |
2022-10-23 | Shinji KONO | memory exhaust work around |
2022-10-23 | Shinji KONO | ... |
2022-10-23 | Shinji KONO | ... |
2022-10-22 | Shinji KONO | ... |
2022-10-22 | Shinji KONO | ... |
2022-10-20 | Shinji KONO | ... |
2022-10-20 | Shinji KONO | ... |
2022-10-19 | Shinji KONO | ... |
2022-10-19 | Shinji KONO | supf usp0 instead of supf (& A) ? |
2022-10-18 | Shinji KONO | use supf of zchain for (nmx : ¬ Maximal A ) → ⊥ |
2022-10-17 | Shinji KONO | ... |
2022-10-17 | Shinji KONO | UnionZF |
2022-10-16 | Shinji KONO | fixpoint? |
2022-10-16 | Shinji KONO | supf u o< supf x |
2022-10-15 | Shinji KONO | supf px o< px is in csupf |
2022-10-15 | Shinji KONO | roll back |
2022-10-13 | Shinji KONO | ... |
2022-10-12 | Shinji KONO | ... |
2022-10-12 | Shinji KONO | this csupf is bad |
2022-10-12 | Shinji KONO | ... |
2022-10-12 | Shinji KONO | ... |
2022-10-12 | Shinji KONO | ... |
2022-10-12 | Shinji KONO | ... |
2022-10-11 | Shinji KONO | ... |
2022-10-11 | Shinji KONO | supf (supf x) ≡ supf x is bad |
2022-10-11 | Shinji KONO | ... |
2022-10-10 | Shinji KONO | ... |
2022-10-10 | Shinji KONO | union equal passed |
2022-10-10 | Shinji KONO | ... |
2022-10-09 | Shinji KONO | ... |
2022-10-09 | Shinji KONO | ... |
2022-10-09 | Shinji KONO | ... |
2022-10-07 | Shinji KONO | roll back to u<x |
2022-10-06 | Shinji KONO | UChain u<x to u≤x again |
2022-10-06 | Shinji KONO | ... |
2022-10-06 | Shinji KONO | ... |
2022-10-06 | Shinji KONO | fixing u<x is no good |
2022-10-06 | Shinji KONO | sp1 = supf (& A) |
2022-10-06 | Shinji KONO | ... |
2022-10-05 | Shinji KONO | ... |
2022-10-05 | Shinji KONO | x ≤ supf x is no good |
2022-10-05 | Shinji KONO | u < supf z |
2022-10-04 | Shinji KONO | ... |
2022-10-03 | Shinji KONO | x≤supfx1 is no good |
2022-10-03 | Shinji KONO | csupf |