Mercurial > hg > Members > kono > Proof > automaton1
log
age | author | description |
---|---|---|
Fri, 13 Nov 2020 13:03:56 +0900 | Shinji KONO | ... |
Thu, 12 Nov 2020 11:45:34 +0900 | Shinji KONO | new automaton in agda |
age | author | description |
---|---|---|
Fri, 13 Nov 2020 13:03:56 +0900 | Shinji KONO | ... |
Thu, 12 Nov 2020 11:45:34 +0900 | Shinji KONO | new automaton in agda |