Mercurial > hg > Members > kono > Proof > automaton
log automaton-in-agda/automaton-in-agda.agda-lib @ 398:d7ea37e49f35
age | author | description |
---|---|---|
Sun, 13 Jun 2021 18:48:57 +0900 | Shinji KONO | reorganization |
age | author | description |
---|---|---|
Sun, 13 Jun 2021 18:48:57 +0900 | Shinji KONO | reorganization |