log

age author description
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
2019-04-22 Shinji KONO fix ccc
2019-04-22 Shinji KONO ccc to adjunction done
2019-04-22 Shinji KONO ...
2019-04-21 Shinji KONO Hom a,b = Hom 1 b^a
2019-04-21 Shinji KONO deduction theorem using category
2019-04-21 Shinji KONO deduction theorem