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