Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
2020-04-05 | Shinji KONO | ... |
2020-04-04 | Shinji KONO | idem-<l> and <r> |
2020-04-04 | Shinji KONO | ... |
2020-04-04 | Shinji KONO | idempotent of eval |
2020-04-04 | Shinji KONO | ... |
2020-04-04 | Shinji KONO | plan B |
2020-04-04 | Shinji KONO | ... |
2020-04-04 | Shinji KONO | ... |
2020-04-03 | Shinji KONO | ... |
2020-04-03 | Shinji KONO | assoc |
2020-04-03 | Shinji KONO | idR |
2020-04-02 | Shinji KONO | ... |
2020-04-02 | Shinji KONO | ... |
2020-04-02 | Shinji KONO | ... |
2020-04-02 | Shinji KONO | ... |
2020-04-02 | Shinji KONO | fix == |
2020-04-02 | Shinji KONO | ... |
2020-04-02 | Shinji KONO | ... |
2020-04-01 | Shinji KONO | add category |
2020-04-01 | Shinji KONO | concat defined |
2020-03-26 | Shinji KONO | ... |
2020-03-26 | Shinji KONO | ... |
2020-03-26 | Shinji KONO | ... |
2020-03-25 | Shinji KONO | ... |
2020-03-25 | Shinji KONO | separete |
2020-03-22 | Shinji KONO | fix |
2020-03-15 | Shinji KONO | graph to CCC again |
2019-07-12 | Shinji KONO | fix deduction theorem |
2019-05-08 | Shinji KONO | Added tag current for changeset 054eecbb5189 |
2019-05-08 | Shinji KONO | Added tag graph-to-ccc for changeset d1569e80fe0b |
2019-05-08 | Shinji KONO | fix comment graph-to-ccc |
2019-05-03 | Shinji KONO | rename discrete |
2019-05-02 | Shinji KONO | ... |
2019-05-01 | Shinji KONO | add ≈-to-≡ assumption |
2019-05-01 | Shinji KONO | from cart to graph, hom equality to set equality |
2019-05-01 | Shinji KONO | Grp and Cart |
2019-05-01 | Shinji KONO | ... |
2019-04-28 | Shinji KONO | one |
2019-04-28 | Shinji KONO | ... |
2019-04-28 | Shinji KONO | ... |
2019-04-27 | Shinji KONO | simpler |
2019-04-27 | Shinji KONO | simpler proof of CCC from graph |
2019-04-27 | Shinji KONO | add <= and <,> |
2019-04-26 | Shinji KONO | Added tag graph-to-ccc for changeset 4ff300e1e98c |
2019-04-26 | Shinji KONO | graph to CCC done |
2019-04-26 | Shinji KONO | ... |
2019-04-26 | Shinji KONO | ... |
2019-04-26 | Shinji KONO | <_,_> as function on Sets |
2019-04-26 | Shinji KONO | ... |
2019-04-26 | Shinji KONO | termination on fmap failed |
2019-04-26 | Shinji KONO | ... |
2019-04-25 | Shinji KONO | ... |
2019-04-25 | Shinji KONO | fix |
2019-04-25 | Shinji KONO | simpler graph to category |
2019-04-24 | Shinji KONO | graph with positive logic to Sets |
2019-04-24 | Shinji KONO | using setoid |
2019-04-23 | Shinji KONO | graph to ccc dead end |
2019-04-23 | Shinji KONO | graph to category |
2019-04-22 | Shinji KONO | ... |
2019-04-22 | Shinji KONO | Added tag ccc for changeset 472a615c6e09 |