Mercurial > hg > Members > kono > Proof > category
log SetsCompleteness.agda @ 878:0793d9adbbdd
age | author | description |
---|---|---|
2019-03-08 | Shinji KONO | fix for 2.5.4.2 |
2017-11-13 | Shinji KONO | fix |
2017-11-12 | Shinji KONO | change argument of Limit and K |
2017-11-07 | Shinji KONO | fix Product and pullback |
2017-11-04 | Shinji KONO | two product as in CWM |
2017-11-03 | Shinji KONO | fix limit from product and equalizer (not yet finished ) |
2017-11-02 | Shinji KONO | fix completeness |
2017-10-30 | Shinji KONO | fix completeness |
2017-10-30 | Shinji KONO | SetCompleteness done! |
2017-10-27 | Shinji KONO | ... |
2017-10-23 | Shinji KONO | ... |
2017-10-22 | Shinji KONO | ... |
2017-10-22 | Shinji KONO | ... |
2017-10-22 | Shinji KONO | introducd HeterogeneousEquality |
2017-06-12 | Shinji KONO | freyd2 |
2017-06-08 | Shinji KONO | fix |
2017-06-08 | Shinji KONO | fix for new agda |
2017-06-08 | Shinji KONO | another snat-cong approach |
2017-06-05 | Shinji KONO | comm2 |
2017-06-05 | Shinji KONO | two field again ... |
2017-06-05 | Shinji KONO | makeEqu/makeProd does not woek |
2017-06-05 | Shinji KONO | prove fe=ge in limit-to |
2017-06-03 | Shinji KONO | Set Completeness unfinished |
2017-06-02 | Shinji KONO | fix |
2017-06-02 | Shinji KONO | try two field again |
2017-05-24 | Shinji KONO | on going ... |
2017-05-23 | Shinji KONO | lemma-equ retry |
2017-05-23 | Shinji KONO | dead end |
2017-05-22 | Shinji KONO | fix |
2017-05-21 | Shinji KONO | fix |
2017-05-15 | Shinji KONO | on going .. |
2017-05-14 | Shinji KONO | slid rewrite |
2017-05-14 | Shinji KONO | on going ... |
2017-05-14 | Shinji KONO | dead end |
2017-05-12 | Shinji KONO | fix |
2017-05-12 | Shinji KONO | on going ... |
2017-05-11 | Shinji KONO | on going .. |
2017-05-11 | Shinji KONO | on oging ... |
2017-05-11 | Shinji KONO | cequ introduced |
2017-05-03 | Shinji KONO | anothter approach |
2017-05-01 | Shinji KONO | another approach |
2017-04-29 | Shinji KONO | to case for equ lemma |
2017-04-28 | Shinji KONO | ... |
2017-04-28 | Shinji KONO | one yelllow |
2017-04-28 | Shinji KONO | dead end |
2017-04-27 | Shinji KONO | sproj approach |
2017-04-27 | Shinji KONO | look like dead end |
2017-04-25 | Shinji KONO | ... |
2017-04-25 | Shinji KONO | fix |
2017-04-24 | Shinji KONO | fix |
2017-04-24 | Shinji KONO | fix |
2017-04-24 | Shinji KONO | yelloow remains |
2017-04-24 | Shinji KONO | lemma-equ |
2017-04-24 | Shinji KONO | last one problem in SetCompleteness |
2017-04-24 | Shinji KONO | on going ... |
2017-04-24 | Shinji KONO | on going ... |
2017-04-24 | Shinji KONO | on going ... |
2017-04-24 | Shinji KONO | on ging ... |
2017-04-23 | Shinji KONO | try id equalizer |
2017-04-10 | Shinji KONO | dead end again ... |