Mercurial > hg > Members > kono > Proof > automaton
log automaton-in-agda/src/extended-automaton.agda @ 346:4456eebbd1bc
age | author | description |
---|---|---|
2023-03-12 | Shinji KONO | fix base automaton-in-agda/src/turing.agda@bcef43df83cd |
age | author | description |
---|---|---|
2023-03-12 | Shinji KONO | fix base automaton-in-agda/src/turing.agda@bcef43df83cd |