Mercurial > hg > Members > kono > Proof > category
log
| age | author | description |
|---|---|---|
| Fri, 03 May 2019 17:11:33 +0900 | Shinji KONO | rename discrete |
| Thu, 02 May 2019 11:54:09 +0900 | Shinji KONO | ... |
| Wed, 01 May 2019 21:35:03 +0900 | Shinji KONO | add ≈-to-≡ assumption |
| Wed, 01 May 2019 21:16:58 +0900 | Shinji KONO | from cart to graph, hom equality to set equality |
| Wed, 01 May 2019 15:16:54 +0900 | Shinji KONO | Grp and Cart |
| Wed, 01 May 2019 10:16:45 +0900 | Shinji KONO | ... |
| Sun, 28 Apr 2019 16:03:42 +0900 | Shinji KONO | one |