log

age author description
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
2022-10-02 Shinji KONO ...
2022-10-02 Shinji KONO ...
2022-10-02 Shinji KONO ...
2022-10-02 Shinji KONO ...
2022-10-01 Shinji KONO ...
2022-09-30 Shinji KONO ...
2022-09-30 Shinji KONO ...