Mercurial > hg > Members > kono > Proof > automaton
log automaton-in-agda/src/finiteFunc.agda @ 407:c7ad8d2dc157
age | author | description |
---|---|---|
Thu, 09 Nov 2023 18:04:55 +0900 | Shinji KONO | safe halt.agda |
age | author | description |
---|---|---|
Thu, 09 Nov 2023 18:04:55 +0900 | Shinji KONO | safe halt.agda |