Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2022-11-04 | Shinji KONO | ... |
2022-11-04 | Shinji KONO | ... |
2022-11-04 | Shinji KONO | supf sp = sp ? |
2022-11-04 | Shinji KONO | IsMinSUP< is wrong |
2022-11-03 | Shinji KONO | ... |
2022-11-03 | Shinji KONO | IsMinSup contains not HasPrev |
2022-11-03 | Shinji KONO | MinSup onlu |
2022-11-03 | Shinji KONO | ... |
2022-11-03 | Shinji KONO | ... |
2022-11-02 | Shinji KONO | IsSUP is now min sup |
2022-11-01 | Shinji KONO | ... |
2022-11-01 | Shinji KONO | z04 done |
2022-11-01 | Shinji KONO | supf mc = mc |
2022-11-01 | Shinji KONO | ... |
2022-10-31 | Shinji KONO | ... |
2022-10-31 | Shinji KONO | ... |
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 | ... |