Mercurial > hg > Members > kono > Proof > category
log
| age | author | description |
|---|---|---|
| Tue, 28 Apr 2020 16:16:16 +0900 | Shinji KONO | ... |
| Mon, 27 Apr 2020 23:11:12 +0900 | Shinji KONO | ... |
| Mon, 13 Apr 2020 18:40:16 +0900 | Shinji KONO | Added tag graph-to-CCC for changeset 4d64a90410c6 |
| Mon, 13 Apr 2020 18:39:58 +0900 | Shinji KONO | clean up graph-to-CCC |
| Mon, 13 Apr 2020 18:01:05 +0900 | Shinji KONO | CCC is trivial |
| Mon, 13 Apr 2020 12:22:26 +0900 | Shinji KONO | ... funcn does not work |
| Mon, 13 Apr 2020 08:56:52 +0900 | Shinji KONO | clean up CCCGraph1.agda |