Members/kono/Proof/category: revision graph

Grp and Cart
Wed, 01 May 2019 15:16:54 +0900, by Shinji KONO
...
Wed, 01 May 2019 10:16:45 +0900, by Shinji KONO
one
Sun, 28 Apr 2019 16:03:42 +0900, by Shinji KONO
...
Sun, 28 Apr 2019 13:02:36 +0900, by Shinji KONO
...
Sun, 28 Apr 2019 12:37:34 +0900, by Shinji KONO
simpler
Sat, 27 Apr 2019 12:58:12 +0900, by Shinji KONO
simpler proof of CCC from graph
Sat, 27 Apr 2019 12:17:49 +0900, by Shinji KONO
add <= and <,>
Sat, 27 Apr 2019 10:10:40 +0900, by Shinji KONO
Added tag graph-to-ccc for changeset 4ff300e1e98c
Sat, 27 Apr 2019 08:42:45 +0900, by Shinji KONO
graph to CCC done
Sat, 27 Apr 2019 08:42:36 +0900, by Shinji KONO
...
Sat, 27 Apr 2019 07:09:35 +0900, by Shinji KONO
...
Fri, 26 Apr 2019 22:53:57 +0900, by Shinji KONO
<_,_> as function on Sets
Fri, 26 Apr 2019 21:24:12 +0900, by Shinji KONO
...
Fri, 26 Apr 2019 19:50:27 +0900, by Shinji KONO
termination on fmap failed
Fri, 26 Apr 2019 18:24:07 +0900, by Shinji KONO
...
Fri, 26 Apr 2019 16:54:18 +0900, by Shinji KONO
...
Thu, 25 Apr 2019 17:56:30 +0900, by Shinji KONO
fix
Thu, 25 Apr 2019 12:22:03 +0900, by Shinji KONO
simpler graph to category
Thu, 25 Apr 2019 10:37:27 +0900, by Shinji KONO
graph with positive logic to Sets
Thu, 25 Apr 2019 03:50:30 +0900, by Shinji KONO
using setoid
Wed, 24 Apr 2019 11:09:41 +0900, by Shinji KONO
graph to ccc dead end
Tue, 23 Apr 2019 16:34:38 +0900, by Shinji KONO
graph to category
Tue, 23 Apr 2019 11:30:34 +0900, by Shinji KONO
...
Tue, 23 Apr 2019 06:39:24 +0900, by Shinji KONO

Mercurial > hg > Members > kono > Proof > category