Mercurial > hg > Members > kono > Proof > automaton
log automaton-in-agda/src/utm.agda @ 319:cd91a9f313dd
age | author | description |
---|---|---|
Wed, 12 Jan 2022 21:20:16 +0900 | Shinji KONO | ... |
Sun, 13 Jun 2021 20:45:17 +0900 | Shinji KONO | fix base automaton-in-agda/src/agda/utm.agda@2d25612186d1 |