Mercurial > hg > Members > kono > Proof > category
log
| age | author | description |
|---|---|---|
| Thu, 03 Nov 2022 11:01:18 +0900 | Shinji KONO | ... |
| Sun, 30 Jan 2022 20:40:19 +0900 | Shinji KONO | ... |
| Sun, 29 Aug 2021 16:07:54 +0900 | Shinji KONO | closed this |
| Sun, 29 Aug 2021 13:44:54 +0900 | Shinji KONO | explict x in Poly is bad in Internal Language |
| Sat, 31 Jul 2021 06:58:48 +0900 | Shinji KONO | add Todo |
| Wed, 19 May 2021 09:00:25 +0900 | Shinji KONO | xf fix |
| Tue, 18 May 2021 15:38:46 +0900 | Shinji KONO | Topos Sets char-iso done |
| Tue, 18 May 2021 01:06:43 +0900 | Shinji KONO | iso-char in Sets Topos |