Mercurial > hg > Members > kono > Proof > category
log
| age | author | description |
|---|---|---|
| Thu, 25 Apr 2019 17:56:30 +0900 | Shinji KONO | ... |
| Thu, 25 Apr 2019 12:22:03 +0900 | Shinji KONO | fix |
| Thu, 25 Apr 2019 10:37:27 +0900 | Shinji KONO | simpler graph to category |
| Thu, 25 Apr 2019 03:50:30 +0900 | Shinji KONO | graph with positive logic to Sets |
| Wed, 24 Apr 2019 11:09:41 +0900 | Shinji KONO | using setoid |
| Tue, 23 Apr 2019 16:34:38 +0900 | Shinji KONO | graph to ccc dead end |
| Tue, 23 Apr 2019 11:30:34 +0900 | Shinji KONO | graph to category |
| Tue, 23 Apr 2019 06:39:24 +0900 | Shinji KONO | ... |