Mercurial > hg > Members > kono > Proof > category
graph
-
...2020-04-04, by Shinji KONO
-
idempotent of eval2020-04-04, by Shinji KONO
-
...2020-04-04, by Shinji KONO
-
plan B2020-04-04, by Shinji KONO
-
...2020-04-04, by Shinji KONO
-
...2020-04-04, by Shinji KONO
-
...2020-04-03, by Shinji KONO
-
assoc2020-04-03, by Shinji KONO
-
idR2020-04-03, by Shinji KONO
-
...2020-04-02, by Shinji KONO
-
...2020-04-02, by Shinji KONO
-
...2020-04-02, by Shinji KONO
-
...2020-04-02, by Shinji KONO
-
fix ==2020-04-02, by Shinji KONO
-
...2020-04-02, by Shinji KONO
-
...2020-04-02, by Shinji KONO
-
add category2020-04-01, by Shinji KONO
-
concat defined2020-04-01, by Shinji KONO
-
...2020-03-26, by Shinji KONO
-
...2020-03-26, by Shinji KONO
-
...2020-03-26, by Shinji KONO
-
...2020-03-25, by Shinji KONO
-
separete2020-03-25, by Shinji KONO
-
fix2020-03-22, by Shinji KONO
-
graph to CCC again2020-03-15, by Shinji KONO
-
fix deduction theorem2019-07-12, by Shinji KONO
-
Added tag current for changeset 054eecbb51892019-05-08, by Shinji KONO
-
Added tag graph-to-ccc for changeset d1569e80fe0b2019-05-08, by Shinji KONO
-
rename discrete2019-05-03, by Shinji KONO
-
...2019-05-02, by Shinji KONO
-
add ≈-to-≡ assumption2019-05-01, by Shinji KONO
-
from cart to graph, hom equality to set equality2019-05-01, by Shinji KONO
-
Grp and Cart2019-05-01, by Shinji KONO
-
...2019-05-01, by Shinji KONO
-
one2019-04-28, by Shinji KONO
-
...2019-04-28, by Shinji KONO
-
...2019-04-28, by Shinji KONO
-
simpler2019-04-27, by Shinji KONO
-
simpler proof of CCC from graph2019-04-27, by Shinji KONO
-
add <= and <,>2019-04-27, by Shinji KONO
-
Added tag graph-to-ccc for changeset 4ff300e1e98c2019-04-26, by Shinji KONO
-
graph to CCC done2019-04-26, by Shinji KONO
-
...2019-04-26, by Shinji KONO
-
...2019-04-26, by Shinji KONO
-
<_,_> as function on Sets2019-04-26, by Shinji KONO
-
...2019-04-26, by Shinji KONO
-
termination on fmap failed2019-04-26, by Shinji KONO
-
...2019-04-26, by Shinji KONO
-
...2019-04-25, by Shinji KONO
-
fix2019-04-25, by Shinji KONO
-
simpler graph to category2019-04-25, by Shinji KONO
-
graph with positive logic to Sets2019-04-24, by Shinji KONO
-
using setoid2019-04-24, by Shinji KONO
-
graph to ccc dead end2019-04-23, by Shinji KONO
-
graph to category2019-04-23, by Shinji KONO
-
...2019-04-22, by Shinji KONO
-
Added tag ccc for changeset 472a615c6e092019-04-22, by Shinji KONO
-
ccc to adjunction done2019-04-22, by Shinji KONO