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 ...